Index

!!	Camfort.Helpers.Vec
:~:	Camfort.Specification.Units.Environment
A
1 (Data Constructor)	Camfort.Analysis.Annotations
2 (Type/Class)	Camfort.Analysis.Annotations
absoluteRep	Camfort.Specification.Stencils.Syntax
af	Camfort.Helpers.Syntax
afterAligned	Camfort.Helpers.Syntax
AlgConstr	Camfort.Specification.Units.Environment
AlgRep	Camfort.Specification.Units.Environment
And	Camfort.Specification.Stencils.Parser.Types
annotateComments	Camfort.Analysis.CommentAnnotator
annotateWithAST	Camfort.Analysis.CommentAnnotator
Annotation	Camfort.Analysis.Annotations
annotationBound	Camfort.Helpers.Syntax
AnnotationFree
1 (Type/Class)	Camfort.Helpers.Syntax
2 (Data Constructor)	Camfort.Helpers.Syntax
AnnotationType	Camfort.Functionality
Approximation	Camfort.Specification.Stencils.Model
approxVec	Camfort.Specification.Stencils.Model
Arbitrary	Camfort.Specification.Stencils.Model
AssignMode	Camfort.Specification.Stencils.InferenceFrontend
assocsSequence	Camfort.Specification.Stencils.Generate
ast	Camfort.Functionality
ASTEmbeddable	Camfort.Analysis.CommentAnnotator
ATDefault	Camfort.Functionality
Backward	Camfort.Specification.Stencils.Syntax
Bound
1 (Data Constructor)	Camfort.Specification.Stencils.Model
2 (Type/Class)	Camfort.Specification.Stencils.Model
buildCommentText	Camfort.Analysis.Annotations
callAndSummarise	Camfort.Input
CallIdMap	Camfort.Specification.Units.Monad
caml	Camfort.Helpers.Syntax
cast	Camfort.Specification.Units.Environment
Centered	Camfort.Specification.Stencils.Syntax
CharConstr	Camfort.Specification.Units.Environment
CharRep	Camfort.Specification.Units.Environment
check	Camfort.Specification.Stencils
checkDir	Camfort.Helpers
checkFailure	Camfort.Specification.Stencils.CheckFrontend
CheckResult	Camfort.Specification.Stencils.CheckFrontend
checkUnits	Camfort.Specification.Units
checkWarnings	Camfort.Specification.Stencils.CheckFrontend
chooseImplicitNames	Camfort.Specification.Units
coalesce	Camfort.Specification.Stencils.InferenceBackend
collect	Camfort.Helpers
common	Camfort.Functionality
commonElimToModules	Camfort.Transformation.CommonBlockElim
CompiledUnits
1 (Type/Class)	Camfort.Specification.Units.Monad
2 (Data Constructor)	Camfort.Specification.Units.Monad
compileUnits	Camfort.Specification.Units
ConConj	Camfort.Specification.Units.Environment
ConEq	Camfort.Specification.Units.Environment
ConIndex	Camfort.Specification.Units.Environment
conParamEq	Camfort.Specification.Units.Environment
Cons	Camfort.Helpers.Vec
ConsistencyResult	Camfort.Specification.Stencils.Consistency
Consistent	Camfort.Specification.Stencils.Consistency
consistent	Camfort.Specification.Stencils.Consistency
Constant	Camfort.Specification.Stencils.Generate
Constr	Camfort.Specification.Units.Environment
Constraint	Camfort.Specification.Units.Environment
Constraints	Camfort.Specification.Units.Environment
constraintsToMatrices	Camfort.Specification.Units.InferenceBackend
constraintsToMatrix	Camfort.Specification.Units.InferenceBackend
constrFields	Camfort.Specification.Units.Environment
constrFixity	Camfort.Specification.Units.Environment
constrIndex	Camfort.Specification.Units.Environment
ConstrRep	Camfort.Specification.Units.Environment
constrRep	Camfort.Specification.Units.Environment
constrType	Camfort.Specification.Units.Environment
containedWithin	Camfort.Specification.Stencils.InferenceBackend
convIxToNeighbour	Camfort.Specification.Stencils.Generate
CoreTyp	Camfort.Specification.Stencils.Model
countVarDecls	Camfort.Functionality
countVariableDeclarations	Camfort.Analysis.Simple
criticalVariables	Camfort.Specification.Units.InferenceBackend
cuNameParamMap	Camfort.Specification.Units.Monad
cuTemplateMap	Camfort.Specification.Units.Monad
Data	Camfort.Specification.Units.Environment
dataCast1	Camfort.Specification.Units.Environment
dataCast2	Camfort.Specification.Units.Environment
DataRep	Camfort.Specification.Units.Environment
DataType	Camfort.Specification.Units.Environment
dataTypeConstrs	Camfort.Specification.Units.Environment
dataTypeName	Camfort.Specification.Units.Environment
dataTypeOf	Camfort.Specification.Units.Environment
dataTypeRep	Camfort.Specification.Units.Environment
dead	Camfort.Functionality
deadCode	Camfort.Transformation.DeadCode
Default	Camfort.Input
defaultValue	Camfort.Input
deleteLine	Camfort.Helpers.Syntax
deleteNode	Camfort.Analysis.Annotations
descendBiReverseM	Camfort.Helpers
descendReverseM	Camfort.Helpers
Directory	Camfort.Helpers
doAnalysisReportWithModFiles	Camfort.Input
doAnalysisSummary	Camfort.Input
doCreateBinary	Camfort.Input
doRefactor	Camfort.Input
doRefactorAndCreate	Camfort.Input
doRefactorWithModFiles	Camfort.Input
doubleToRationalSubset	Camfort.Specification.Units.Environment
Doxygen	Camfort.Functionality
dropLine	Camfort.Helpers.Syntax
emptyCompiledUnits	Camfort.Specification.Units.Monad
EqT	Camfort.Helpers.Vec
eqT	Camfort.Specification.Units.Environment
equivalences	Camfort.Functionality
EvalLog	Camfort.Specification.Stencils.Generate
EvalMode	Camfort.Specification.Stencils.InferenceFrontend
evalUnitSolver	Camfort.Specification.Units.Monad
Exact	Camfort.Specification.Stencils.Model
execUnitSolver	Camfort.Specification.Units.Monad
existingStencils	Camfort.Specification.Stencils.CheckFrontend
ExistsEqT
1 (Type/Class)	Camfort.Helpers.Vec
2 (Data Constructor)	Camfort.Helpers.Vec
extractRelevantIVS	Camfort.Specification.Stencils.Generate
extractVariable	Camfort.Helpers.Syntax
Filename	Camfort.Helpers
FileOrDir	Camfort.Helpers
FileProgram	Camfort.Input
findIndex	Camfort.Helpers.Vec
Fixity	Camfort.Specification.Units.Environment
flattenConstraints	Camfort.Specification.Units.InferenceBackend
flattenUnits	Camfort.Specification.Units.InferenceBackend
FloatConstr	Camfort.Specification.Units.Environment
FloatRep	Camfort.Specification.Units.Environment
Ford	Camfort.Functionality
formatSpec	Camfort.Specification.Stencils.Synthesis
formatSpecNoComment	Camfort.Specification.Stencils.Synthesis
Forward	Camfort.Specification.Stencils.Syntax
fromBool	Camfort.Specification.Stencils.Syntax
fromConstr	Camfort.Specification.Units.Environment
fromConstrB	Camfort.Specification.Units.Environment
fromConstrM	Camfort.Specification.Units.Environment
fromExact	Camfort.Specification.Stencils.Model
fromList	Camfort.Helpers.Vec
fromLists	Camfort.Helpers.Vec
funResultTy	Camfort.Specification.Units.Environment
gcast	Camfort.Specification.Units.Environment
gcast1	Camfort.Specification.Units.Environment
gcast2	Camfort.Specification.Units.Environment
genSpecifications	Camfort.Specification.Stencils.Generate
genSubscripts	Camfort.Specification.Stencils.Generate
genUnitAssignments	Camfort.Specification.Units.InferenceBackend
getAstSpec	Camfort.Analysis.Annotations
getConstraint	Camfort.Specification.Units.InferenceFrontend
getDir	Camfort.Helpers
getModFilesWithNames	Camfort.Input
getParseSpec	Camfort.Analysis.Annotations
getRegionSpec	Camfort.Analysis.Annotations
gfoldl	Camfort.Specification.Units.Environment
giveAstSpec	Camfort.Analysis.Annotations
GivenVarSet	Camfort.Specification.Units.Monad
giveParseSpec	Camfort.Analysis.Annotations
giveRegionSpec	Camfort.Analysis.Annotations
gmapM	Camfort.Specification.Units.Environment
gmapMo	Camfort.Specification.Units.Environment
gmapMp	Camfort.Specification.Units.Environment
gmapQ	Camfort.Specification.Units.Environment
gmapQi	Camfort.Specification.Units.Environment
gmapQl	Camfort.Specification.Units.Environment
gmapQr	Camfort.Specification.Units.Environment
gmapT	Camfort.Specification.Units.Environment
groupKeyBy	Camfort.Specification.Stencils.Syntax
gunfold	Camfort.Specification.Units.Environment
hasDuplicates	Camfort.Specification.Stencils.Syntax
Inconsistent	Camfort.Specification.Stencils.Consistency
inconsistentConstraints	Camfort.Specification.Units.InferenceBackend
indexConstr	Camfort.Specification.Units.Environment
indicesToRelativisedOffsets	Camfort.Specification.Stencils.Generate
indicesToSpec	Camfort.Specification.Stencils.Generate
infer	Camfort.Specification.Stencils
inferCriticalVariables	Camfort.Specification.Units
inferFromIndicesWithoutLinearity	Camfort.Specification.Stencils.InferenceBackend
inferMinimalVectorRegions	Camfort.Specification.Stencils.InferenceBackend
InferMode	Camfort.Specification.Stencils.InferenceFrontend, Camfort.Specification.Stencils
inferUnits	Camfort.Specification.Units
inferVariables	Camfort.Specification.Units.InferenceBackend
Infix	Camfort.Specification.Units.Environment
initInference	Camfort.Specification.Units.InferenceFrontend
IntConstr	Camfort.Specification.Units.Environment
Interval	Camfort.Specification.Stencils.Model
intervalsToRegions	Camfort.Specification.Stencils.DenotationalSemantics
IntervArbitrary	Camfort.Specification.Stencils.Model
IntervHoled	Camfort.Specification.Stencils.Model
IntervInfinite	Camfort.Specification.Stencils.Model
IntervInfiniteArbitrary	Camfort.Specification.Stencils.Model
IntRep	Camfort.Specification.Units.Environment
isAlgType	Camfort.Specification.Units.Environment
isArraySubscript	Camfort.Specification.Stencils.Generate
isComment	Camfort.Analysis.CommentAnnotator
isDirectory	Camfort.Helpers
isEmpty	Camfort.Specification.Stencils.Syntax
isInconsistentRREF	Camfort.Specification.Units.InferenceBackend
isNewFile	Camfort.Output
isNorepType	Camfort.Specification.Units.Environment
IsStencil	Camfort.Specification.Stencils.Syntax
isUnit	Camfort.Specification.Stencils.Syntax
isVariableExpr	Camfort.Specification.Stencils.Generate
length	Camfort.Helpers.Vec
lengthN	Camfort.Helpers.Vec
Linear	Camfort.Specification.Stencils.Syntax
Linearity	Camfort.Specification.Stencils.Syntax
linesCovered	Camfort.Helpers.Syntax
link	Camfort.Analysis.CommentAnnotator
Linkable	Camfort.Analysis.CommentAnnotator
linkPU	Camfort.Analysis.CommentAnnotator
LiteralsOpt	Camfort.Specification.Units.Monad
LitMixed	Camfort.Specification.Units.Monad
LitPoly	Camfort.Specification.Units.Monad
LitUnitless	Camfort.Specification.Units.Monad
looksLikeASpec	Camfort.Specification.Parser
lowerBound	Camfort.Specification.Stencils.Model
maxConstrIndex	Camfort.Specification.Units.Environment
maximas	Camfort.Specification.Stencils.Model
mkAppTy	Camfort.Specification.Units.Environment
mkCharConstr	Camfort.Specification.Units.Environment
mkCharType	Camfort.Specification.Units.Environment
mkConstr	Camfort.Specification.Units.Environment
mkDataType	Camfort.Specification.Units.Environment
mkFloatType	Camfort.Specification.Units.Environment
mkFunTy	Camfort.Specification.Units.Environment
mkIntegralConstr	Camfort.Specification.Units.Environment
mkIntType	Camfort.Specification.Units.Environment
mkNoRepType	Camfort.Specification.Units.Environment
mkOutputText	Camfort.Output
mkParser	Camfort.Specification.Parser
mkRealConstr	Camfort.Specification.Units.Environment
mkTyCon3	Camfort.Specification.Units.Environment
mkTyConApp	Camfort.Specification.Units.Environment
mkUnitAnnotation	Camfort.Specification.Units.Environment
modifyCallIdRemapM	Camfort.Specification.Units.Monad
modifyGivenVarSet	Camfort.Specification.Units.Monad
modifyNameParamMap	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
Mult	Camfort.Specification.Stencils.Model
Multiplicity	Camfort.Specification.Stencils.Model
NameParamKey	Camfort.Specification.Units.Monad
NameParamMap	Camfort.Specification.Units.Monad
Nat	Camfort.Helpers.Vec
Natural	Camfort.Helpers.Vec
Neighbour
1 (Type/Class)	Camfort.Specification.Stencils.Generate
2 (Data Constructor)	Camfort.Specification.Stencils.Generate
neighbourIndex	Camfort.Specification.Stencils.Generate
neighbourToOffset	Camfort.Specification.Stencils.Generate
newNode	Camfort.Analysis.Annotations
Nil	Camfort.Helpers.Vec
NonLinear	Camfort.Specification.Stencils.Syntax
NonNeighbour	Camfort.Specification.Stencils.Generate
NoRep	Camfort.Specification.Units.Environment
NPKParam	Camfort.Specification.Units.Monad
NPKVariable	Camfort.Specification.Units.Monad
number	Camfort.Analysis.Annotations
Offsets
1 (Type/Class)	Camfort.Specification.Stencils.Model
2 (Data Constructor)	Camfort.Specification.Stencils.Model
offsetToIx	Camfort.Specification.Stencils.Synthesis
Once	Camfort.Specification.Stencils.Model
onPrev	Camfort.Analysis.Annotations
optimise	Camfort.Specification.Stencils.Model
Or	Camfort.Specification.Stencils.Parser.Types
outputFile	Camfort.Output
OutputFiles	Camfort.Output
outputFiles	Camfort.Output
parseError	Camfort.Specification.Parser
peel	Camfort.Specification.Stencils.Model
Peelable	Camfort.Specification.Stencils.Model
PP	Camfort.Specification.Units.Environment
pprintConstr	Camfort.Specification.Units.Environment
pprintSpecDecls	Camfort.Specification.Stencils.Syntax
pprintUnitInfo	Camfort.Specification.Units.Environment
pRefactored	Camfort.Analysis.Annotations
Prefix	Camfort.Specification.Units.Environment
prevAnnotation	Camfort.Specification.Units.Environment
Product	Camfort.Specification.Stencils.Syntax
proveEqSize	Camfort.Helpers.Vec
proveNonEmpty	Camfort.Helpers.Vec
Proxy
1 (Data Constructor)	Camfort.Specification.Units.Environment
2 (Type/Class)	Camfort.Specification.Units.Environment
puName	Camfort.Specification.Units.InferenceFrontend
puSrcName	Camfort.Specification.Units.InferenceFrontend
readConstr	Camfort.Specification.Units.Environment
readParseSrcDir	Camfort.Input
refactored	Camfort.Analysis.Annotations
refactorEquivalences	Camfort.Transformation.EquivalenceElim
refactoring	Camfort.Output
Refl	Camfort.Specification.Units.Environment
ReflEq	Camfort.Helpers.Vec
Region
1 (Type/Class)	Camfort.Specification.Stencils.Syntax
2 (Type/Class)	Camfort.Specification.Stencils.Parser.Types
RegionConst	Camfort.Specification.Stencils.Parser.Types
RegionDec	Camfort.Specification.Stencils.Parser.Types
RegionDecl	Camfort.Specification.Stencils.Syntax
RegionEnv	Camfort.Specification.Stencils.Syntax
regionNotInScope	Camfort.Specification.Stencils.CheckBackend
RegionProd	Camfort.Specification.Stencils.Syntax
regionsToIntervals	Camfort.Specification.Stencils.DenotationalSemantics
RegionSum	Camfort.Specification.Stencils.Syntax
relativise	Camfort.Specification.Stencils.Generate
repConstr	Camfort.Specification.Units.Environment
replace	Camfort.Helpers.Vec
Report	Camfort.Analysis.Annotations
reprint	Camfort.Reprint
reqRegions	Camfort.Specification.Stencils.Parser.Types
rnfTyCon	Camfort.Specification.Units.Environment
rnfTypeRep	Camfort.Specification.Units.Environment
rref	Camfort.Specification.Units.InferenceBackend
runCompileUnits	Camfort.Specification.Units.InferenceFrontend
runCriticalVariables	Camfort.Specification.Units.InferenceFrontend
runInconsistentConstraints	Camfort.Specification.Units.InferenceFrontend
runInferVariables	Camfort.Specification.Units.InferenceFrontend
runParser	Camfort.Specification.Parser
runSynthesis	Camfort.Specification.Units.Synthesis
runUnitSolver	Camfort.Specification.Units.Monad
S	Camfort.Helpers.Vec
setLinearity	Camfort.Specification.Stencils.Syntax
SetOfIntegers	Camfort.Specification.Stencils.Model
shiftTerms	Camfort.Specification.Units.InferenceBackend
Show'	Camfort.Output
show'	Camfort.Output
showConstr	Camfort.Specification.Units.Environment
showsTypeRep	Camfort.Specification.Units.Environment
SourceText	Camfort.Helpers
Span	Camfort.Specification.Stencils.InferenceBackend
spansToApproxSpatial	Camfort.Specification.Stencils.InferenceBackend
Spatial
1 (Type/Class)	Camfort.Specification.Stencils.Syntax
2 (Data Constructor)	Camfort.Specification.Stencils.Syntax
SpecDec	Camfort.Specification.Stencils.Parser.Types
SpecDecl	Camfort.Specification.Stencils.Syntax
SpecDecls	Camfort.Specification.Stencils.Syntax
Specification
1 (Type/Class)	Camfort.Specification.Stencils.Syntax
2 (Data Constructor)	Camfort.Specification.Stencils.Syntax
3 (Type/Class)	Camfort.Specification.Stencils.Parser.Types
SpecInner
1 (Type/Class)	Camfort.Specification.Stencils.Parser.Types
2 (Data Constructor)	Camfort.Specification.Stencils.Parser.Types
SpecParseError
1 (Type/Class)	Camfort.Specification.Parser
2 (Type/Class)	Camfort.Specification.Stencils.Parser
SpecParser	Camfort.Specification.Parser
specParser	Camfort.Specification.Stencils.Parser
splitTyConApp	Camfort.Specification.Units.Environment
Standard	Camfort.Specification.Stencils.Model
stencilBlock	Camfort.Analysis.Annotations
stencilChecking	Camfort.Specification.Stencils.CheckFrontend
stencilInference	Camfort.Specification.Stencils.InferenceFrontend
stencilsCheck	Camfort.Functionality
stencilsInfer	Camfort.Functionality
stencilSpec	Camfort.Analysis.Annotations
stencilsSynth	Camfort.Functionality
subtext	Camfort.Reprint
Succ	Camfort.Helpers.Vec
Sum	Camfort.Specification.Stencils.Syntax
Synth	Camfort.Specification.Stencils.InferenceFrontend
synth	Camfort.Specification.Stencils
synthesiseUnits	Camfort.Specification.Units
SynToAst	Camfort.Specification.Stencils.CheckBackend
synToAst	Camfort.Specification.Stencils.CheckBackend
SynToAstError	Camfort.Specification.Stencils.CheckBackend
takeBounds	Camfort.Reprint
TemplateMap	Camfort.Specification.Units.Monad
toCol0	Camfort.Helpers.Syntax
toConstr	Camfort.Specification.Units.Environment
toList	Camfort.Helpers.Vec
toUnitInfo	Camfort.Specification.Units.Environment
TyCon	Camfort.Specification.Units.Environment
tyConFingerprint	Camfort.Specification.Units.Environment
tyConModule	Camfort.Specification.Units.Environment
tyconModule	Camfort.Specification.Units.Environment
tyConName	Camfort.Specification.Units.Environment
tyConPackage	Camfort.Specification.Units.Environment
tyConString	Camfort.Specification.Units.Environment
tyconUQname	Camfort.Specification.Units.Environment
Typeable	Camfort.Specification.Units.Environment
Typeable1	Camfort.Specification.Units.Environment
Typeable2	Camfort.Specification.Units.Environment
Typeable3	Camfort.Specification.Units.Environment
Typeable4	Camfort.Specification.Units.Environment
Typeable5	Camfort.Specification.Units.Environment
Typeable6	Camfort.Specification.Units.Environment
Typeable7	Camfort.Specification.Units.Environment
typeOf	Camfort.Specification.Units.Environment
typeOf1	Camfort.Specification.Units.Environment
typeOf2	Camfort.Specification.Units.Environment
typeOf3	Camfort.Specification.Units.Environment
typeOf4	Camfort.Specification.Units.Environment
typeOf5	Camfort.Specification.Units.Environment
typeOf6	Camfort.Specification.Units.Environment
typeOf7	Camfort.Specification.Units.Environment
TypeRep	Camfort.Specification.Units.Environment
typeRep	Camfort.Specification.Units.Environment
typeRepArgs	Camfort.Specification.Units.Environment
typeRepFingerprint	Camfort.Specification.Units.Environment
typeRepTyCon	Camfort.Specification.Units.Environment
UA	Camfort.Analysis.Annotations, Camfort.Specification.Units.Monad
unfCompare	Camfort.Specification.Stencils.Model
UnionNF	Camfort.Specification.Stencils.Model
UnitAlias
1 (Data Constructor)	Camfort.Specification.Units.Parser.Types
2 (Data Constructor)	Camfort.Specification.Units.Environment
UnitAliasMap	Camfort.Specification.Units.Monad
UnitAnnotation
1 (Type/Class)	Camfort.Specification.Units.Environment
2 (Data Constructor)	Camfort.Specification.Units.Environment
unitAnnotation	Camfort.Analysis.Annotations
UnitAssignment	Camfort.Specification.Units.Parser.Types
UnitBasic	Camfort.Specification.Units.Parser.Types
unitBlock	Camfort.Specification.Units.Environment
unitConstraint	Camfort.Specification.Units.Environment
UnitException	Camfort.Specification.Units.Monad
UnitExponentiation	Camfort.Specification.Units.Parser.Types
UnitInfo	Camfort.Specification.Units.Environment
unitInfo	Camfort.Specification.Units.Environment
Unitless	Camfort.Specification.Units.Parser.Types
UnitlessLit	Camfort.Specification.Units.Environment
UnitlessVar	Camfort.Specification.Units.Environment
UnitLiteral	Camfort.Specification.Units.Environment
UnitLogs	Camfort.Specification.Units.Monad
UnitMul	Camfort.Specification.Units.Environment
UnitName	Camfort.Specification.Units.Environment
UnitOfMeasure	Camfort.Specification.Units.Parser.Types
UnitOpts
1 (Type/Class)	Camfort.Specification.Units.Monad
2 (Data Constructor)	Camfort.Specification.Units.Monad
unitOpts0	Camfort.Specification.Units.Monad
UnitParamEAPAbs	Camfort.Specification.Units.Environment
UnitParamEAPUse	Camfort.Specification.Units.Environment
UnitParamLitAbs	Camfort.Specification.Units.Environment
UnitParamLitUse	Camfort.Specification.Units.Environment
UnitParamPosAbs	Camfort.Specification.Units.Environment
UnitParamPosUse	Camfort.Specification.Units.Environment
UnitParamVarAbs	Camfort.Specification.Units.Environment
UnitParamVarUse	Camfort.Specification.Units.Environment
UnitParseError	Camfort.Specification.Units.Parser
unitParser	Camfort.Specification.Units.Parser
UnitPow	Camfort.Specification.Units.Environment
UnitPower	Camfort.Specification.Units.Parser.Types
UnitPowerInteger	Camfort.Specification.Units.Parser.Types
UnitPowerRational	Camfort.Specification.Units.Parser.Types
UnitProduct	Camfort.Specification.Units.Parser.Types
unitPU	Camfort.Specification.Units.Environment
UnitQuotient	Camfort.Specification.Units.Parser.Types
UnitRecord
1 (Data Constructor)	Camfort.Specification.Units.Parser.Types
2 (Data Constructor)	Camfort.Specification.Units.Environment
unitsCheck	Camfort.Functionality
unitsCompile	Camfort.Functionality
unitsCriticals	Camfort.Functionality
unitsInfer	Camfort.Functionality
UnitSolver	Camfort.Specification.Units.Monad
unitSpec	Camfort.Specification.Units.Environment
unitsSynth	Camfort.Functionality
UnitState
1 (Type/Class)	Camfort.Specification.Units.Monad
2 (Data Constructor)	Camfort.Specification.Units.Monad
UnitStatement	Camfort.Specification.Units.Parser.Types
UnitVar	Camfort.Specification.Units.Environment
unitVar	Camfort.Analysis.Annotations
unProd	Camfort.Specification.Stencils.Syntax
unSum	Camfort.Specification.Stencils.Syntax
uoDebug	Camfort.Specification.Units.Monad
uoLiterals	Camfort.Specification.Units.Monad
uoModFiles	Camfort.Specification.Units.Monad
upperBound	Camfort.Specification.Stencils.Model
usCallIdRemap	Camfort.Specification.Units.Monad
usCallIds	Camfort.Specification.Units.Monad
usConstraints	Camfort.Specification.Units.Monad
usGivenVarSet	Camfort.Specification.Units.Monad
usLitNums	Camfort.Specification.Units.Monad
usNameParamMap	Camfort.Specification.Units.Monad
usProgramFile	Camfort.Specification.Units.Monad
usTemplateMap	Camfort.Specification.Units.Monad
usUnitAliasMap	Camfort.Specification.Units.Monad
usVarUnitMap	Camfort.Specification.Units.Monad
Var	Camfort.Specification.Stencils.Parser.Types
Variable	Camfort.Specification.Stencils.Syntax
VarUnitMap	Camfort.Specification.Units.Monad
Vec	Camfort.Helpers.Vec
VecBox
1 (Type/Class)	Camfort.Helpers.Vec
2 (Data Constructor)	Camfort.Helpers.Vec
vecLength	Camfort.Specification.Stencils.Model
VecList	Camfort.Helpers.Vec
VL	Camfort.Helpers.Vec
VV	Camfort.Specification.Units.Environment, Camfort.Specification.Units.Monad
whenDebug	Camfort.Specification.Units.Monad
Z	Camfort.Helpers.Vec
Zero	Camfort.Helpers.Vec
zip	Camfort.Helpers.Vec
zipWith	Camfort.Helpers.Vec