Max | Camfort.Helpers.Vec |
maximum1 | Camfort.Specification.Stencils.Model |
mfmap | Camfort.Helpers |
minimaliseRegions | Camfort.Specification.Stencils.InferenceBackend |
mkCopy | Camfort.Transformation.EquivalenceElim |
mkModel | Camfort.Specification.Stencils.Model |
mkModule | Camfort.Transformation.CommonBlockElim |
mkModuleFile | Camfort.Transformation.CommonBlockElim |
mkOutputText | Camfort.Output |
mkRenamerCoercer | Camfort.Transformation.CommonBlockElim |
mkRenamerCoercerTLC | Camfort.Transformation.CommonBlockElim |
mkSingleEntryNeg | Camfort.Specification.Stencils.Model |
mkTLCommonRenamers | Camfort.Transformation.CommonBlockElim |
mkTrivialSpan | Camfort.Specification.Stencils.InferenceBackend |
mkUnitAnnotation | Camfort.Specification.Units.Environment |
mkUseStatementBlocks | Camfort.Transformation.CommonBlockElim |
Mod | Camfort.Specification.Stencils.Grammar |
Model | Camfort.Specification.Stencils.Model |
model | Camfort.Specification.Stencils.Model |
modifyAnnotation | Camfort.Analysis.Annotations |
modifyCallIdRemapM | Camfort.Specification.Units.Monad |
modifyGivenVarSet | Camfort.Specification.Units.Monad |
modifyProgramFile | Camfort.Specification.Units.Monad |
modifyProgramFileM | Camfort.Specification.Units.Monad |
modifyTemplateMap | Camfort.Specification.Units.Monad |
modifyUnitAliasMap | Camfort.Specification.Units.Monad |
modifyVarUnitMap | Camfort.Specification.Units.Monad |
Multiple | Camfort.Specification.Stencils.Syntax |
Multiplicity | Camfort.Specification.Stencils.Syntax |