| UA | Camfort.Specification.Units.Annotation, Camfort.Specification.Units.Monad |
| UnexpectedBlock | Camfort.Specification.Hoare.CheckBackend |
| UnexpectedInput | Camfort.Specification.Hoare.Parser.Types |
| unfCompare | Camfort.Specification.Stencils.Model |
| UnionNF | Camfort.Specification.Stencils.Model |
| UniqueName | |
| 1 (Type/Class) | Language.Fortran.Model.Vars |
| 2 (Data Constructor) | Language.Fortran.Model.Vars |
| UnitAlias | |
| 1 (Data Constructor) | Camfort.Specification.Units.Parser.Types |
| 2 (Data Constructor) | Camfort.Specification.Units.Environment |
| UnitAliasMap | Camfort.Specification.Units.MonadTypes, Camfort.Specification.Units.Monad |
| UnitAnalysis | Camfort.Specification.Units.MonadTypes, Camfort.Specification.Units.Analysis |
| unitAnnotation | Camfort.Analysis.Annotations |
| UnitAssignment | Camfort.Specification.Units.Parser.Types |
| UnitBasic | Camfort.Specification.Units.Parser.Types |
| unitBlock | Camfort.Specification.Units.Annotation |
| unitConstraint | Camfort.Specification.Units.Annotation |
| UnitEnv | |
| 1 (Type/Class) | Camfort.Specification.Units.MonadTypes, Camfort.Specification.Units.Monad |
| 2 (Data Constructor) | Camfort.Specification.Units.MonadTypes, Camfort.Specification.Units.Monad |
| UnitExponentiation | Camfort.Specification.Units.Parser.Types |
| UnitInfo | Camfort.Specification.Units.Environment |
| unitInfo | Camfort.Specification.Units.Annotation |
| Unitless | Camfort.Specification.Units.Parser.Types |
| UnitlessLit | Camfort.Specification.Units.Environment |
| UnitlessVar | Camfort.Specification.Units.Environment |
| UnitLiteral | Camfort.Specification.Units.Environment |
| UnitMul | Camfort.Specification.Units.Environment |
| UnitName | Camfort.Specification.Units.Environment |
| UnitOfMeasure | Camfort.Specification.Units.Parser.Types |
| UnitOpts | |
| 1 (Type/Class) | Camfort.Specification.Units.MonadTypes, Camfort.Specification.Units.Monad |
| 2 (Data Constructor) | Camfort.Specification.Units.MonadTypes, Camfort.Specification.Units.Monad |
| unitOpts | Camfort.Specification.Units.MonadTypes, Camfort.Specification.Units.Monad |
| unitOpts0 | Camfort.Specification.Units.Monad |
| UnitParamEAPAbs | Camfort.Specification.Units.Environment |
| UnitParamEAPUse | Camfort.Specification.Units.Environment |
| unitParamEq | Camfort.Specification.Units.Environment |
| UnitParamImpAbs | 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 |
| unitProgramFile | Camfort.Specification.Units.MonadTypes, Camfort.Specification.Units.Monad |
| unitPU | Camfort.Specification.Units.Annotation |
| 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 |
| unitsDump | Camfort.Functionality |
| UnitSet | Camfort.Specification.Units.BackendTypes |
| unitsInfer | Camfort.Functionality |
| UnitSolver | Camfort.Specification.Units.MonadTypes, Camfort.Specification.Units.Monad |
| unitSpec | Camfort.Specification.Units.Annotation |
| unitsSynth | Camfort.Functionality |
| UnitState | |
| 1 (Type/Class) | Camfort.Specification.Units.MonadTypes, Camfort.Specification.Units.Monad |
| 2 (Data Constructor) | Camfort.Specification.Units.MonadTypes |
| UnitStatement | Camfort.Specification.Units.Parser.Types |
| UnitVar | Camfort.Specification.Units.Environment |
| unitVar | Camfort.Analysis.Annotations |
| UnmatchedQuote | Camfort.Specification.Hoare.Parser.Types |
| unPrimReprHandlers | Language.Fortran.Model.Repr.Prim |
| unProd | Camfort.Specification.Stencils.Syntax |
| unSum | Camfort.Specification.Stencils.Syntax |
| UnsupportedAssignment | Camfort.Specification.Hoare.CheckBackend |
| UnsupportedBlock | Camfort.Specification.Hoare.CheckBackend |
| uoLiterals | Camfort.Specification.Units.MonadTypes, Camfort.Specification.Units.Monad |
| upperBound | Camfort.Specification.Stencils.Model |
| usCallIdRemap | Camfort.Specification.Units.MonadTypes, Camfort.Specification.Units.Monad |
| usConstraints | Camfort.Specification.Units.MonadTypes, Camfort.Specification.Units.Monad |
| useCheck | Camfort.Functionality |
| usGivenVarSet | Camfort.Specification.Units.MonadTypes, Camfort.Specification.Units.Monad |
| usNameParamMap | Camfort.Specification.Units.MonadTypes, Camfort.Specification.Units.Monad |
| usNextUnique | Camfort.Specification.Units.MonadTypes |
| usProgramFile | Camfort.Specification.Units.MonadTypes, Camfort.Specification.Units.Monad |
| usTemplateMap | Camfort.Specification.Units.MonadTypes, Camfort.Specification.Units.Monad |
| usUnitAliasMap | Camfort.Specification.Units.MonadTypes, Camfort.Specification.Units.Monad |
| usVarUnitMap | Camfort.Specification.Units.MonadTypes, Camfort.Specification.Units.Monad |