| UA | Camfort.Analysis.Annotations, Camfort.Specification.Units.Monad |
| unaf | Camfort.Helpers.Syntax |
| UnitAlias | |
| 1 (Data Constructor) | Camfort.Specification.Units.Parser |
| 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 |
| UnitBasic | Camfort.Specification.Units.Parser |
| unitBlock | Camfort.Specification.Units.Environment |
| unitConstraint | Camfort.Specification.Units.Environment |
| UnitException | Camfort.Specification.Units.Monad |
| UnitExponentiation | Camfort.Specification.Units.Parser |
| UnitInfo | Camfort.Specification.Units.Environment |
| unitInfo | Camfort.Specification.Units.Environment |
| Unitless | Camfort.Specification.Units.Parser |
| 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 |
| UnitOpts | |
| 1 (Type/Class) | Camfort.Specification.Units.Monad |
| 2 (Data Constructor) | Camfort.Specification.Units.Monad |
| unitOpts0 | Camfort.Specification.Units.Monad |
| unitParamEq | 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 |
| unitParser | Camfort.Specification.Units.Parser |
| UnitPow | Camfort.Specification.Units.Environment |
| UnitPower | Camfort.Specification.Units.Parser |
| UnitPowerInteger | Camfort.Specification.Units.Parser |
| UnitPowerRational | Camfort.Specification.Units.Parser |
| UnitProduct | Camfort.Specification.Units.Parser |
| UnitQuotient | Camfort.Specification.Units.Parser |
| unitsCheck | 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 |
| UnitVar | Camfort.Specification.Units.Environment |
| unitVar | Camfort.Analysis.Annotations |
| unpackFst | Camfort.Output |
| unProd | Camfort.Specification.Stencils.Syntax |
| unSum | Camfort.Specification.Stencils.Syntax |
| uoDebug | Camfort.Specification.Units.Monad |
| uoLiterals | Camfort.Specification.Units.Monad |
| uoNameMap | Camfort.Specification.Units.Monad |
| updateRegionEnv | Camfort.Specification.Stencils.CheckFrontend |
| updateUseDecls | Camfort.Transformation.CommonBlockElim |
| upperBound | Camfort.Specification.Stencils.Syntax |
| 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 |
| usProgramFile | Camfort.Specification.Units.Monad |
| usTemplateMap | Camfort.Specification.Units.Monad |
| usUnitAliasMap | Camfort.Specification.Units.Monad |
| usVarUnitMap | Camfort.Specification.Units.Monad |