camfort-0.900: CamFort - Cambridge Fortran infrastructure

Index

:?Camfort.Helpers
<>Camfort.Helpers
><Camfort.Helpers
A 
1 (Data Constructor)Camfort.Analysis.Annotations
2 (Type/Class)Camfort.Analysis.Annotations
aCamfort.Specification.Stencils.Synthesis
A1 
1 (Type/Class)Camfort.Transformation.CommonBlockElim
2 (Type/Class)Camfort.Transformation.EquivalenceElim
absoluteRepCamfort.Specification.Stencils.Syntax
absorbReflexiveCamfort.Specification.Stencils.Syntax
absorbReflexive'Camfort.Specification.Stencils.Syntax
addCopysPerBlockCamfort.Transformation.EquivalenceElim
addCopysPerBlockGroupCamfort.Transformation.EquivalenceElim
addToProgramUnitCamfort.Transformation.CommonBlockElim
afCamfort.Helpers.Syntax
afterAlignedCamfort.Helpers.Syntax
allCoherentCommonsCamfort.Transformation.CommonBlockElim
allRegionPermutationsCamfort.Specification.Stencils.InferenceBackend
analyseAndRmCommonsCamfort.Transformation.CommonBlockElim
analysePerPFCamfort.Transformation.CommonBlockElim
analysePerPUCamfort.Transformation.CommonBlockElim
AndCamfort.Specification.Stencils.Grammar
annotateCommentsCamfort.Analysis.CommentAnnotator
annotateWithASTCamfort.Analysis.CommentAnnotator
AnnotationCamfort.Analysis.Annotations
annotationBoundCamfort.Helpers.Syntax
AnnotationFree 
1 (Type/Class)Camfort.Helpers.Syntax
2 (Data Constructor)Camfort.Helpers.Syntax
AnnotationParseErrorCamfort.Analysis.CommentAnnotator
AnnotationParserCamfort.Analysis.CommentAnnotator
appendMCamfort.Helpers
applyRenamingCamfort.Transformation.CommonBlockElim
ApproximationCamfort.Specification.Stencils.Syntax
AssignModeCamfort.Specification.Stencils.InferenceFrontend
astCamfort.Functionality
ASTEmbeddableCamfort.Analysis.CommentAnnotator
AtLeastCamfort.Specification.Stencils.Grammar
AtMostCamfort.Specification.Stencils.Grammar
Backward 
1 (Data Constructor)Camfort.Specification.Stencils.Syntax
2 (Data Constructor)Camfort.Specification.Stencils.Grammar
BoundCamfort.Specification.Stencils.Syntax
callAndSummariseCamfort.Input
CallIdMapCamfort.Specification.Units.Monad
camlCamfort.Helpers.Syntax
Centered 
1 (Data Constructor)Camfort.Specification.Stencils.Syntax
2 (Data Constructor)Camfort.Specification.Stencils.Grammar
changeDirCamfort.Output
checkCamfort.Specification.Stencils
checkDirCamfort.Helpers
CheckerCamfort.Specification.Stencils.CheckFrontend
checkOffsetsAgainstSpecCamfort.Specification.Stencils.CheckFrontend
checkUnitsCamfort.Specification.Units
cmpEqCamfort.Helpers
cmpFstCamfort.Helpers
cmpSndCamfort.Helpers
cmpTConBNamesCamfort.Transformation.CommonBlockElim
cmpTLConBNamesCamfort.Transformation.CommonBlockElim
cmpTLConFNameCamfort.Transformation.CommonBlockElim
cmpTLConPNameCamfort.Transformation.CommonBlockElim
cmpVarNameCamfort.Transformation.CommonBlockElim
coherentCommonsCamfort.Transformation.CommonBlockElim
coherentCommons'Camfort.Transformation.CommonBlockElim
collectCamfort.Helpers
collectAndRmCommonsCamfort.Transformation.CommonBlockElim
CombinedModeCamfort.Specification.Stencils.InferenceFrontend
commonCamfort.Functionality
commonElimToModulesCamfort.Transformation.CommonBlockElim
commonNameCamfort.Transformation.CommonBlockElim
commonNameFromASTCamfort.Transformation.CommonBlockElim
CommonStateCamfort.Transformation.CommonBlockElim
composeConsecutiveSpansCamfort.Specification.Stencils.InferenceBackend
ConConjCamfort.Specification.Units.Environment
ConEqCamfort.Specification.Units.Environment
conParamEqCamfort.Specification.Units.Environment
ConsCamfort.Helpers.Vec
consistentCamfort.Specification.Stencils.Model
consistentIVSuseCamfort.Specification.Stencils.InferenceFrontend
ConstantCamfort.Specification.Stencils.InferenceFrontend
ConstraintCamfort.Specification.Units.Environment
ConstraintsCamfort.Specification.Units.Environment
constraintsToMatrixCamfort.Specification.Units.InferenceBackend
containedWithinCamfort.Specification.Stencils.InferenceBackend
countLinesCamfort.Output
countVarDeclsCamfort.Functionality
countVariableDeclarationsCamfort.Analysis.Simple
cprodVCamfort.Specification.Stencils.Model
cprodVsCamfort.Specification.Stencils.Model
criticalVariablesCamfort.Specification.Units.InferenceBackend
dbgUnitAnnotationCamfort.Specification.Units.Environment
deadCamfort.Functionality
deadCodeCamfort.Transformation.DeadCode
deadCode'Camfort.Transformation.DeadCode
DebugCamfort.Functionality
DefaultCamfort.Input
defaultValueCamfort.Input
deleteLineCamfort.Helpers.Syntax
deleteNodeCamfort.Analysis.Annotations
DepthCamfort.Specification.Stencils.Syntax
DimensionCamfort.Specification.Stencils.Syntax
dimensionalityCamfort.Specification.Stencils.Model
dimensionsCamfort.Specification.Stencils.Model
DirectoryCamfort.Helpers
distAndOverlapsCamfort.Specification.Stencils.Syntax
distAndOverlaps'Camfort.Specification.Stencils.Syntax
dnfCamfort.Specification.Stencils.CheckBackend
doAnalysisReportCamfort.Input
doAnalysisSummaryCamfort.Input
DomainCamfort.Specification.Stencils.Model
DoModeCamfort.Specification.Stencils.InferenceFrontend
doRefactorCamfort.Input
doRefactorAndCreateCamfort.Input
DoxygenCamfort.Functionality
dropLineCamfort.Helpers.Syntax
eachCamfort.Helpers
emptyMCamfort.Helpers
enterCamfort.Reprint
enterDownCamfort.Reprint
enterRightCamfort.Reprint
EqTCamfort.Specification.Stencils.InferenceBackend
equalTypesCamfort.Transformation.EquivalenceElim
equivalencesCamfort.Functionality
equivalentsToExprCamfort.Transformation.EquivalenceElim
ErrorMsgCamfort.Specification.Stencils.CheckBackend
EvalLogCamfort.Specification.Stencils.InferenceFrontend
EvalModeCamfort.Specification.Stencils.InferenceFrontend
evalUnitSolverCamfort.Specification.Units.Monad
everywhereCamfort.Helpers
ExactCamfort.Specification.Stencils.Syntax
ExcludesCamfort.Functionality
execUnitSolverCamfort.Specification.Units.Monad
expToNeighbourCamfort.Specification.Stencils.InferenceFrontend
extractVariableCamfort.Helpers.Syntax
failWithCamfort.Analysis.CommentAnnotator
fanoutCamfort.Helpers
fileExtCamfort.Input
FilenameCamfort.Helpers
FileOrDirCamfort.Helpers
find'Camfort.Specification.Stencils.CheckBackend
FlagCamfort.Functionality
flattenConstraintsCamfort.Specification.Units.InferenceBackend
flattenUnitsCamfort.Specification.Units.InferenceBackend
flexReadFileCamfort.Input
foldLCamfort.Specification.Stencils.InferenceBackend
foldPairCamfort.Helpers
FordCamfort.Functionality
formatSpecCamfort.Specification.Stencils.Synthesis
Forward 
1 (Data Constructor)Camfort.Specification.Stencils.Syntax
2 (Data Constructor)Camfort.Specification.Stencils.Grammar
freshenCommonNamesCamfort.Transformation.CommonBlockElim
fromBoolCamfort.Specification.Stencils.Syntax
fromExactCamfort.Specification.Stencils.Syntax
fromJustMsgCamfort.Specification.Stencils.InferenceFrontend
fromListCamfort.Specification.Stencils.InferenceBackend
fromListsCamfort.Specification.Stencils.InferenceBackend
fromMultCamfort.Specification.Stencils.Syntax
fromNatCamfort.Helpers.Vec
fromRegionsToSpecCamfort.Specification.Stencils.InferenceBackend
genOffsetsCamfort.Specification.Stencils.InferenceFrontend
genRHSsubscriptsCamfort.Specification.Stencils.InferenceFrontend
genSpecificationsCamfort.Specification.Stencils.InferenceFrontend
genSpecsAndReportCamfort.Specification.Stencils.InferenceFrontend
genSubscriptsCamfort.Specification.Stencils.InferenceFrontend
getConstraintCamfort.Specification.Units.InferenceFrontend
getDimensionCamfort.Specification.Stencils.Syntax
getDirCamfort.Helpers
getExcludesCamfort.Functionality
getInductionVarCamfort.Specification.Stencils.InferenceFrontend
getOptionCamfort.Input
getUnitStartPositionCamfort.Transformation.CommonBlockElim
GivenVarSetCamfort.Specification.Units.Monad
groupKeyByCamfort.Specification.Stencils.Syntax
groupSortCommonBlockCamfort.Transformation.CommonBlockElim
hasDuplicatesCamfort.Specification.Stencils.Syntax
hasRenamingCamfort.Transformation.CommonBlockElim
hasSpecCamfort.Specification.Stencils.InferenceFrontend
inconsistentConstraintsCamfort.Specification.Units.InferenceBackend
indicesToRelativisedOffsetsCamfort.Specification.Stencils.InferenceFrontend
indicesToSpecCamfort.Specification.Stencils.InferenceFrontend
inferCamfort.Specification.Stencils
inferCoreCamfort.Specification.Stencils.InferenceBackend
inferCriticalVariablesCamfort.Specification.Units
InfererCamfort.Specification.Stencils.InferenceFrontend
inferFromIndicesCamfort.Specification.Stencils.InferenceBackend
inferFromIndicesWithoutLinearityCamfort.Specification.Stencils.InferenceBackend
inferMinimalVectorRegionsCamfort.Specification.Stencils.InferenceBackend
InferModeCamfort.Specification.Stencils.InferenceFrontend, Camfort.Specification.Stencils
InferStateCamfort.Specification.Stencils.InferenceFrontend
inferUnitsCamfort.Specification.Units
inferVariablesCamfort.Specification.Units.InferenceBackend
initInferenceCamfort.Specification.Units.InferenceFrontend
InputCamfort.Functionality
introduceModulesCamfort.Transformation.CommonBlockElim
ISCamfort.Specification.Stencils.InferenceFrontend
isArraySubscriptCamfort.Specification.Stencils.InferenceFrontend
isDirectoryCamfort.Helpers
isEmptyCamfort.Specification.Stencils.Syntax
isFortranCamfort.Input
isInconsistentRREFCamfort.Specification.Units.InferenceBackend
IsNaturalCamfort.Helpers.Vec
isNeighbourCamfort.Specification.Stencils.InferenceFrontend
isNewFileCamfort.Output
IsReflCamfort.Specification.Stencils.Syntax
isStencilDoCamfort.Specification.Stencils.InferenceFrontend
isUnaryOrBinaryExprCamfort.Specification.Stencils.InferenceFrontend
isUnitCamfort.Specification.Stencils.Syntax
isVariableExprCamfort.Specification.Stencils.InferenceFrontend
ivMapCamfort.Specification.Stencils.InferenceFrontend
ixToNeighbourCamfort.Specification.Stencils.InferenceFrontend
ixToNeighbour'Camfort.Specification.Stencils.InferenceFrontend
lconsCamfort.Specification.Stencils.InferenceBackend
lengthVCamfort.Helpers.Vec
lexerCamfort.Specification.Stencils.Grammar
LinearCamfort.Specification.Stencils.Syntax
LinearityCamfort.Specification.Stencils.Syntax
linesCoveredCamfort.Helpers.Syntax
linkCamfort.Analysis.CommentAnnotator
LinkableCamfort.Analysis.CommentAnnotator
linkMultipleCamfort.Analysis.CommentAnnotator
List 
1 (Type/Class)Camfort.Specification.Stencils.InferenceBackend
2 (Data Constructor)Camfort.Specification.Stencils.InferenceBackend
LiteralsCamfort.Functionality
LiteralsOptCamfort.Specification.Units.Monad
LitMixedCamfort.Specification.Units.Monad
LitPolyCamfort.Specification.Units.Monad
LitUnitlessCamfort.Specification.Units.Monad
lnilCamfort.Specification.Stencils.InferenceBackend
LoggerCamfort.Analysis.CommentAnnotator
LogLine 
1 (Type/Class)Camfort.Specification.Stencils.InferenceFrontend
2 (Type/Class)Camfort.Specification.Stencils.CheckFrontend
lookupAggregateCamfort.Specification.Stencils.Syntax
lookupsCamfort.Helpers
lookups'Camfort.Helpers
lowerCamfort.Helpers.Syntax
lowerBoundCamfort.Specification.Stencils.Syntax
MaxCamfort.Helpers.Vec
maximum1Camfort.Specification.Stencils.Model
mfmapCamfort.Helpers
minimaliseRegionsCamfort.Specification.Stencils.InferenceBackend
mkCopyCamfort.Transformation.EquivalenceElim
mkModelCamfort.Specification.Stencils.Model
mkModuleCamfort.Transformation.CommonBlockElim
mkModuleFileCamfort.Transformation.CommonBlockElim
mkOutputTextCamfort.Output
mkRenamerCoercerCamfort.Transformation.CommonBlockElim
mkRenamerCoercerTLCCamfort.Transformation.CommonBlockElim
mkSingleEntryNegCamfort.Specification.Stencils.Model
mkTLCommonRenamersCamfort.Transformation.CommonBlockElim
mkTrivialSpanCamfort.Specification.Stencils.InferenceBackend
mkUnitAnnotationCamfort.Specification.Units.Environment
mkUseStatementBlocksCamfort.Transformation.CommonBlockElim
ModCamfort.Specification.Stencils.Grammar
ModelCamfort.Specification.Stencils.Model
modelCamfort.Specification.Stencils.Model
modifyAnnotationCamfort.Analysis.Annotations
modifyCallIdRemapMCamfort.Specification.Units.Monad
modifyGivenVarSetCamfort.Specification.Units.Monad
modifyProgramFileCamfort.Specification.Units.Monad
modifyProgramFileMCamfort.Specification.Units.Monad
modifyTemplateMapCamfort.Specification.Units.Monad
modifyUnitAliasMapCamfort.Specification.Units.Monad
modifyVarUnitMapCamfort.Specification.Units.Monad
MultipleCamfort.Specification.Stencils.Syntax
MultiplicityCamfort.Specification.Stencils.Syntax
NameMapCamfort.Transformation.CommonBlockElim
NatCamfort.Helpers.Vec
NatBox 
1 (Type/Class)Camfort.Helpers.Vec
2 (Data Constructor)Camfort.Helpers.Vec
NaturalCamfort.Helpers.Vec
Neighbour 
1 (Type/Class)Camfort.Specification.Stencils.InferenceFrontend
2 (Data Constructor)Camfort.Specification.Stencils.InferenceFrontend
neighbourIndexCamfort.Specification.Stencils.InferenceFrontend
neighbourToOffsetCamfort.Specification.Stencils.InferenceFrontend
newNodeCamfort.Analysis.Annotations
NilCamfort.Helpers.Vec
NonLinearCamfort.Specification.Stencils.Syntax
NonNeighbourCamfort.Specification.Stencils.InferenceFrontend
normaliseCamfort.Helpers
normaliseByCamfort.Helpers
normaliseNoSortCamfort.Helpers
normaliseSpanCamfort.Specification.Stencils.InferenceBackend
NotAnnotationCamfort.Analysis.CommentAnnotator
numberCamfort.Analysis.Annotations
offsetToIxCamfort.Specification.Stencils.Synthesis
oneCamfort.Specification.Stencils.Syntax
onPrevCamfort.Analysis.Annotations
OptionsCamfort.Functionality
optsToUnitOptsCamfort.Functionality
OrCamfort.Specification.Stencils.Grammar
OutputCamfort.Functionality
outputFileCamfort.Output
OutputFilesCamfort.Output
outputFilesCamfort.Output
padZerosCamfort.Specification.Stencils.InferenceFrontend
pairsCamfort.Helpers
pairwisePermCamfort.Specification.Stencils.Model
ParamsCamfort.Specification.Stencils.InferenceFrontend
parseCommentToASTCamfort.Specification.Stencils.CheckFrontend
PartialMonoidCamfort.Helpers
perBlockCheckCamfort.Specification.Stencils.CheckFrontend
perBlockInferCamfort.Specification.Stencils.InferenceFrontend
perBlockRmEquivCamfort.Transformation.EquivalenceElim
PermutableCamfort.Specification.Stencils.InferenceBackend
permutationsVCamfort.Specification.Stencils.InferenceBackend
perProgramUnitCheckCamfort.Specification.Stencils.CheckFrontend
perStatementRmEquivCamfort.Transformation.EquivalenceElim
perStmtCamfort.Transformation.DeadCode
pprintConstrCamfort.Specification.Units.Environment
pprintSpecDeclsCamfort.Specification.Stencils.Syntax
pprintUnitInfoCamfort.Specification.Units.Environment
pRefactoredCamfort.Analysis.Annotations
prevAnnotationCamfort.Specification.Units.Environment
ProbablyAnnotationCamfort.Analysis.CommentAnnotator
prodCamfort.Specification.Stencils.Syntax
ProductCamfort.Specification.Stencils.Syntax
ReadOnceCamfort.Specification.Stencils.Grammar
readParseSrcDirCamfort.Input
readParseSrcFileCamfort.Input
reassociateSourceTextCamfort.Input
reduceCollectCamfort.Helpers
reducorCamfort.Specification.Stencils.InferenceBackend
refactorBlocksCamfort.Output
RefactoredCamfort.Reprint
refactoredCamfort.Analysis.Annotations
refactorEquivalencesCamfort.Transformation.EquivalenceElim
RefactoringCamfort.Reprint
refactoringCamfort.Output
refactorStatementsCamfort.Output
refactorSyntaxCamfort.Output
ReflEqCamfort.Specification.Stencils.InferenceBackend
Region 
1 (Type/Class)Camfort.Specification.Stencils.Syntax
2 (Type/Class)Camfort.Specification.Stencils.Grammar
RegionDecCamfort.Specification.Stencils.Grammar
RegionEnvCamfort.Specification.Stencils.Syntax
regionPlusCamfort.Specification.Stencils.Syntax
RegionProdCamfort.Specification.Stencils.Syntax
RegionRigCamfort.Specification.Stencils.Syntax
RegionSumCamfort.Specification.Stencils.Syntax
relativeIxsToSpecCamfort.Specification.Stencils.InferenceFrontend
relativiseCamfort.Specification.Stencils.InferenceFrontend
removeNewLinesCamfort.Output
RenamerCoercerCamfort.Transformation.CommonBlockElim
renamerToUseCamfort.Transformation.CommonBlockElim
RenamingCamfort.Transformation.CommonBlockElim
ReportCamfort.Analysis.Annotations
reprintCamfort.Reprint
rGetDirContentsCamfort.Input
RmEqStateCamfort.Transformation.EquivalenceElim
rrefCamfort.Specification.Units.InferenceBackend
runCriticalVariablesCamfort.Specification.Units.InferenceFrontend
runInconsistentConstraintsCamfort.Specification.Units.InferenceFrontend
runInfererCamfort.Specification.Stencils.InferenceFrontend
runInferVariablesCamfort.Specification.Units.InferenceFrontend
runSynthesisCamfort.Specification.Units.Synthesis
runUnitSolverCamfort.Specification.Units.Monad
SCamfort.Helpers.Vec
sCamfort.Specification.Stencils.Synthesis
SelectionCamfort.Specification.Stencils.InferenceBackend
selectionsVCamfort.Specification.Stencils.InferenceBackend
setLinearityCamfort.Specification.Stencils.Syntax
shiftTermsCamfort.Specification.Units.InferenceBackend
Show'Camfort.Output
show'Camfort.Output
showLCamfort.Specification.Stencils.Syntax
showProdSpecsCamfort.Specification.Stencils.Syntax
showRegionCamfort.Specification.Stencils.Syntax
showSumSpecsCamfort.Specification.Stencils.Syntax
showVCamfort.Helpers.Vec
simplifyCamfort.Specification.Stencils.InferenceBackend
simplifySpatialCamfort.Specification.Stencils.InferenceBackend
SingleCamfort.Specification.Stencils.Syntax
SourceTextCamfort.Helpers
SpanCamfort.Specification.Stencils.InferenceBackend
spanBoundingBoxCamfort.Specification.Stencils.InferenceBackend
Spatial 
1 (Type/Class)Camfort.Specification.Stencils.Syntax
2 (Data Constructor)Camfort.Specification.Stencils.Syntax
3 (Data Constructor)Camfort.Specification.Stencils.Grammar
SpecCamfort.Specification.Stencils.Grammar
SpecDecCamfort.Specification.Stencils.Grammar
SpecDeclsCamfort.Specification.Stencils.Syntax
Specification 
1 (Type/Class)Camfort.Specification.Stencils.Syntax
2 (Data Constructor)Camfort.Specification.Stencils.Syntax
3 (Type/Class)Camfort.Specification.Stencils.Grammar
specParserCamfort.Specification.Stencils.Grammar
stencilBlockCamfort.Analysis.Annotations
stencilCheckingCamfort.Specification.Stencils.CheckFrontend
stencilInferenceCamfort.Specification.Stencils.InferenceFrontend
StencilInferModeCamfort.Functionality
stencilsCheckCamfort.Functionality
stencilsInferCamfort.Functionality
stencilSpecCamfort.Analysis.Annotations
stencilsSynthCamfort.Functionality
strengthCamfort.Specification.Stencils.InferenceFrontend
SuccCamfort.Helpers.Vec
SumCamfort.Specification.Stencils.Syntax
sumCamfort.Specification.Stencils.Syntax
SynthCamfort.Specification.Stencils.InferenceFrontend
synthCamfort.Specification.Stencils
synthesiseUnitsCamfort.Specification.Units
SynToAstCamfort.Specification.Stencils.CheckBackend
synToAstCamfort.Specification.Stencils.CheckBackend
takeBoundsCamfort.Reprint
takeBounds'Camfort.Reprint
TCommonCamfort.Transformation.CommonBlockElim
TemplateMapCamfort.Specification.Units.Monad
tensorCamfort.Specification.Stencils.Model
TLCommonCamfort.Transformation.CommonBlockElim
toCol0Camfort.Helpers.Syntax
toNatBoxCamfort.Helpers.Vec
toSpec1DCamfort.Specification.Stencils.InferenceBackend
toSpecNDCamfort.Specification.Stencils.InferenceBackend
toUnitInfoCamfort.Specification.Units.Environment
UACamfort.Analysis.Annotations, Camfort.Specification.Units.Monad
unafCamfort.Helpers.Syntax
UnitAlias 
1 (Data Constructor)Camfort.Specification.Units.Parser
2 (Data Constructor)Camfort.Specification.Units.Environment
UnitAliasMapCamfort.Specification.Units.Monad
UnitAnnotation 
1 (Type/Class)Camfort.Specification.Units.Environment
2 (Data Constructor)Camfort.Specification.Units.Environment
unitAnnotationCamfort.Analysis.Annotations
UnitAssignmentCamfort.Specification.Units.Parser
UnitBasicCamfort.Specification.Units.Parser
unitBlockCamfort.Specification.Units.Environment
unitConstraintCamfort.Specification.Units.Environment
UnitExceptionCamfort.Specification.Units.Monad
UnitExponentiationCamfort.Specification.Units.Parser
UnitInfoCamfort.Specification.Units.Environment
unitInfoCamfort.Specification.Units.Environment
UnitlessCamfort.Specification.Units.Parser
UnitlessLitCamfort.Specification.Units.Environment
UnitlessVarCamfort.Specification.Units.Environment
UnitLiteralCamfort.Specification.Units.Environment
UnitLogsCamfort.Specification.Units.Monad
UnitMulCamfort.Specification.Units.Environment
UnitNameCamfort.Specification.Units.Environment
UnitOfMeasureCamfort.Specification.Units.Parser
UnitOpts 
1 (Type/Class)Camfort.Specification.Units.Monad
2 (Data Constructor)Camfort.Specification.Units.Monad
unitOpts0Camfort.Specification.Units.Monad
unitParamEqCamfort.Specification.Units.Environment
UnitParamLitAbsCamfort.Specification.Units.Environment
UnitParamLitUseCamfort.Specification.Units.Environment
UnitParamPosAbsCamfort.Specification.Units.Environment
UnitParamPosUseCamfort.Specification.Units.Environment
UnitParamVarAbsCamfort.Specification.Units.Environment
UnitParamVarUseCamfort.Specification.Units.Environment
unitParserCamfort.Specification.Units.Parser
UnitPowCamfort.Specification.Units.Environment
UnitPowerCamfort.Specification.Units.Parser
UnitPowerIntegerCamfort.Specification.Units.Parser
UnitPowerRationalCamfort.Specification.Units.Parser
UnitProductCamfort.Specification.Units.Parser
UnitQuotientCamfort.Specification.Units.Parser
unitsCheckCamfort.Functionality
unitsCriticalsCamfort.Functionality
unitsInferCamfort.Functionality
UnitSolverCamfort.Specification.Units.Monad
unitSpecCamfort.Specification.Units.Environment
unitsSynthCamfort.Functionality
UnitState 
1 (Type/Class)Camfort.Specification.Units.Monad
2 (Data Constructor)Camfort.Specification.Units.Monad
UnitStatementCamfort.Specification.Units.Parser
UnitVarCamfort.Specification.Units.Environment
unitVarCamfort.Analysis.Annotations
unpackFstCamfort.Output
unProdCamfort.Specification.Stencils.Syntax
unSumCamfort.Specification.Stencils.Syntax
uoDebugCamfort.Specification.Units.Monad
uoLiteralsCamfort.Specification.Units.Monad
uoNameMapCamfort.Specification.Units.Monad
updateRegionEnvCamfort.Specification.Stencils.CheckFrontend
updateUseDeclsCamfort.Transformation.CommonBlockElim
upperBoundCamfort.Specification.Stencils.Syntax
usCallIdRemapCamfort.Specification.Units.Monad
usCallIdsCamfort.Specification.Units.Monad
usConstraintsCamfort.Specification.Units.Monad
usGivenVarSetCamfort.Specification.Units.Monad
usLitNumsCamfort.Specification.Units.Monad
usProgramFileCamfort.Specification.Units.Monad
usTemplateMapCamfort.Specification.Units.Monad
usUnitAliasMapCamfort.Specification.Units.Monad
usVarUnitMapCamfort.Specification.Units.Monad
VarCamfort.Specification.Stencils.Grammar
VariableCamfort.Specification.Stencils.Syntax
VarUnitMapCamfort.Specification.Units.Monad
VecCamfort.Helpers.Vec
VecListCamfort.Specification.Stencils.InferenceBackend
VersionCamfort.Functionality
VLCamfort.Specification.Stencils.InferenceBackend
vmapCamfort.Helpers.Vec
VVCamfort.Specification.Units.Environment, Camfort.Specification.Units.Monad
whenDebugCamfort.Specification.Units.Monad
ZCamfort.Helpers.Vec
ZeroCamfort.Helpers.Vec
zeroCamfort.Specification.Stencils.Syntax
zfmapCamfort.Helpers
zipVecCamfort.Helpers.Vec