| length | Camfort.Helpers.Vec |
| lengthN | Camfort.Helpers.Vec |
| lexer | Camfort.Specification.Hoare.Lexer |
| LexError | Camfort.Specification.Hoare.Parser.Types |
| LiftD | Language.Fortran.Model.Repr, Language.Fortran.Model |
| liftD | Language.Fortran.Model.Repr, Language.Fortran.Model |
| liftDBool | Language.Fortran.Model.Repr, Language.Fortran.Model |
| liftDInt | Language.Fortran.Model.Repr, Language.Fortran.Model |
| LiftDOp | |
| 1 (Type/Class) | Language.Fortran.Model.Op.High, Language.Fortran.Model.Op, Language.Fortran.Model |
| 2 (Data Constructor) | Language.Fortran.Model.Op.High, Language.Fortran.Model.Op, Language.Fortran.Model |
| liftDReal | Language.Fortran.Model.Repr, Language.Fortran.Model |
| liftDRepr | Language.Fortran.Model.Repr, Language.Fortran.Model |
| 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.MonadTypes, Camfort.Specification.Units.Monad |
| LitMixed | Camfort.Specification.Units.MonadTypes, Camfort.Specification.Units.Monad |
| LitPoly | Camfort.Specification.Units.MonadTypes, Camfort.Specification.Units.Monad |
| LitUnitless | Camfort.Specification.Units.MonadTypes, Camfort.Specification.Units.Monad |
| lmMsg | Camfort.Analysis.Logger |
| lmOrigin | Camfort.Analysis.Logger |
| loadModAndProgramFiles | Camfort.Input |
| LogDebug | Camfort.Analysis.Logger, Camfort.Analysis |
| logDebug | Camfort.Analysis.Logger, Camfort.Analysis |
| logDebug' | Camfort.Analysis.Logger, Camfort.Analysis |
| LogError | Camfort.Analysis.Logger, Camfort.Analysis |
| logError | Camfort.Analysis.Logger, Camfort.Analysis |
| logError' | Camfort.Analysis.Logger, Camfort.Analysis |
| LoggerT | Camfort.Analysis.Logger |
| loggingAnalysisError | Camfort.Analysis |
| LogInfo | Camfort.Analysis.Logger, Camfort.Analysis |
| logInfo | Camfort.Analysis.Logger, Camfort.Analysis |
| logInfo' | Camfort.Analysis.Logger, Camfort.Analysis |
| logInfoNoOrigin | Camfort.Analysis.Logger, Camfort.Analysis |
| LogLevel | Camfort.Analysis.Logger, Camfort.Analysis |
| LogMessage | |
| 1 (Type/Class) | Camfort.Analysis.Logger |
| 2 (Data Constructor) | Camfort.Analysis.Logger |
| LogOutput | Camfort.Analysis.Logger, Camfort.Analysis |
| logOutputNone | Camfort.Analysis.Logger, Camfort.Analysis |
| logOutputStd | Camfort.Analysis.Logger, Camfort.Analysis |
| LogWarn | Camfort.Analysis.Logger, Camfort.Analysis |
| logWarn | Camfort.Analysis.Logger, Camfort.Analysis |
| logWarn' | Camfort.Analysis.Logger, Camfort.Analysis |
| looksLikeASpec | Camfort.Specification.Parser |
| lookupUniqueName | Camfort.Analysis.ModFile |
| lowerBound | Camfort.Specification.Stencils.Model |