| !! | Camfort.Helpers.Vec |
| *.. | Language.Fortran.Model.Util |
| ..* | Language.Fortran.Model.Util |
| /= | Camfort.Specification.Stencils.PartialOrd |
| :~: | Camfort.Specification.Units.Environment |
| :~~: | Camfort.Specification.Units.Environment |
| < | Camfort.Specification.Stencils.PartialOrd |
| <$$> | Language.Fortran.Model.Util |
| <= | Camfort.Specification.Stencils.PartialOrd |
| <> | Camfort.Analysis.Logger, Camfort.Analysis |
| == | Camfort.Specification.Stencils.PartialOrd |
| > | Camfort.Specification.Stencils.PartialOrd |
| >= | Camfort.Specification.Stencils.PartialOrd |
| A | |
| 1 (Data Constructor) | Camfort.Analysis.Annotations |
| 2 (Type/Class) | Camfort.Analysis.Annotations |
| absoluteRep | Camfort.Specification.Stencils.Syntax |
| adName | Camfort.Specification.Hoare.Syntax |
| adTy | Camfort.Specification.Hoare.Syntax |
| af | Camfort.Helpers.Syntax |
| afterAligned | Camfort.Helpers.Syntax |
| AlgConstr | Camfort.Specification.Units.Environment |
| AlgRep | Camfort.Specification.Units.Environment |
| allocCheck | Camfort.Functionality |
| AllOps | Camfort.Specification.Hoare.Translate |
| altf | Language.Fortran.Model.Util |
| altf2 | Language.Fortran.Model.Util |
| analysisLiftLogger | Camfort.Analysis |
| analysisModFiles | Camfort.Analysis |
| AnalysisProgram | Camfort.Input |
| AnalysisReport | |
| 1 (Type/Class) | Camfort.Analysis |
| 2 (Data Constructor) | Camfort.Analysis |
| AnalysisResult | Camfort.Analysis |
| AnalysisRunner | Camfort.Input |
| AnalysisRunnerConsumer | Camfort.Input |
| AnalysisRunnerP | Camfort.Input |
| AnalysisT | Camfort.Analysis |
| And | Camfort.Specification.Stencils.Parser.Types |
| annotateComments | Camfort.Analysis.CommentAnnotator |
| AnnotatedProgramUnit | |
| 1 (Type/Class) | Camfort.Specification.Hoare.CheckBackend |
| 2 (Data Constructor) | Camfort.Specification.Hoare.CheckBackend |
| annotateWithAST | Camfort.Analysis.CommentAnnotator |
| Annotation | Camfort.Analysis.Annotations |
| annotationBound | Camfort.Helpers.Syntax |
| AnnotationError | Camfort.Specification.Hoare.CheckBackend |
| AnnotationFree | |
| 1 (Type/Class) | Camfort.Helpers.Syntax |
| 2 (Data Constructor) | Camfort.Helpers.Syntax |
| AnnotationType | Camfort.Functionality |
| applySub | Camfort.Specification.Units.BackendTypes |
| Approximation | Camfort.Specification.Stencils.Model |
| approxVec | Camfort.Specification.Stencils.Model |
| apuAuxDecls | Camfort.Specification.Hoare.CheckBackend |
| apuPostconditions | Camfort.Specification.Hoare.CheckBackend |
| apuPreconditions | Camfort.Specification.Hoare.CheckBackend |
| apuPU | Camfort.Specification.Hoare.CheckBackend |
| Arbitrary | Camfort.Specification.Stencils.Model |
| ArbitraryInt | Language.Fortran.Model.Repr.Prim |
| ArbitraryReal | Language.Fortran.Model.Repr.Prim |
| ARData | Language.Fortran.Model.Repr, Language.Fortran.Model |
| ARFailure | Camfort.Analysis |
| ArgWithoutDecl | Camfort.Specification.Hoare.CheckBackend |
| arMessages | Camfort.Analysis |
| ARPrim | Language.Fortran.Model.Repr, Language.Fortran.Model |
| Array | |
| 1 (Type/Class) | Language.Fortran.Model.Types, Language.Fortran.Model |
| 2 (Data Constructor) | Language.Fortran.Model.Types, Language.Fortran.Model |
| arrayCheck | Camfort.Functionality |
| ArrData | Language.Fortran.Model.Types, Language.Fortran.Model |
| arResult | Camfort.Analysis |
| ArrPrim | Language.Fortran.Model.Types, Language.Fortran.Model |
| ArrRepr | Language.Fortran.Model.Repr, Language.Fortran.Model |
| ArrValue | Language.Fortran.Model.Types, Language.Fortran.Model |
| ARSuccess | Camfort.Analysis |
| AssignVarNotInScope | Camfort.Specification.Hoare.CheckBackend |
| ast | Camfort.Functionality |
| ASTEmbeddable | Camfort.Analysis.CommentAnnotator |
| ATDefault | Camfort.Functionality |
| atSpanned | Camfort.Analysis.Logger, Camfort.Analysis |
| atSpannedInFile | Camfort.Analysis.Logger, Camfort.Analysis |
| AuxDecl | |
| 1 (Type/Class) | Camfort.Specification.Hoare.Syntax |
| 2 (Data Constructor) | Camfort.Specification.Hoare.Syntax |
| AuxVarConflict | Camfort.Specification.Hoare.CheckBackend |
| BackendAnalysis | Camfort.Specification.Hoare.CheckBackend |
| BackendError | Camfort.Specification.Hoare.CheckFrontend |
| Backward | Camfort.Specification.Stencils.Syntax |
| BasicType | Language.Fortran.Model.Singletons |
| BasicTypeMax | Language.Fortran.Model.Singletons |
| basicTypeMax | Language.Fortran.Model.Singletons |
| BasicTypeMaxSym0 | Language.Fortran.Model.Singletons |
| BasicTypeMaxSym0KindInference | Language.Fortran.Model.Singletons |
| BasicTypeMaxSym1 | Language.Fortran.Model.Singletons |
| BasicTypeMaxSym1KindInference | Language.Fortran.Model.Singletons |
| BasicTypeMaxSym2 | Language.Fortran.Model.Singletons |
| BitBool | Language.Fortran.Model.Repr.Prim |
| Bool16 | |
| 1 (Type/Class) | Language.Fortran.Model.Types, Language.Fortran.Model |
| 2 (Data Constructor) | Language.Fortran.Model.Types, Language.Fortran.Model |
| Bool32 | |
| 1 (Type/Class) | Language.Fortran.Model.Types, Language.Fortran.Model |
| 2 (Data Constructor) | Language.Fortran.Model.Types, Language.Fortran.Model |
| Bool64 | |
| 1 (Type/Class) | Language.Fortran.Model.Types, Language.Fortran.Model |
| 2 (Data Constructor) | Language.Fortran.Model.Types, Language.Fortran.Model |
| Bool8 | |
| 1 (Type/Class) | Language.Fortran.Model.Types, Language.Fortran.Model |
| 2 (Data Constructor) | Language.Fortran.Model.Types, Language.Fortran.Model |
| BoolRepr | Language.Fortran.Model.Repr.Prim |
| Bound | |
| 1 (Data Constructor) | Camfort.Specification.Stencils.Model |
| 2 (Type/Class) | Camfort.Specification.Stencils.Model |
| BTChar | Language.Fortran.Model.Singletons |
| BTCharSym0 | Language.Fortran.Model.Singletons |
| BTInt | Language.Fortran.Model.Singletons |
| BTIntSym0 | Language.Fortran.Model.Singletons |
| BTLogical | Language.Fortran.Model.Singletons |
| BTLogicalSym0 | Language.Fortran.Model.Singletons |
| BTReal | Language.Fortran.Model.Singletons |
| BTRealSym0 | Language.Fortran.Model.Singletons |
| buildCommentText | Camfort.Analysis.Annotations |
| Builder | Camfort.Analysis.Logger |
| builderToStrict | Camfort.Analysis.Logger |
| CallIdMap | Camfort.Specification.Units.MonadTypes, Camfort.Specification.Units.Monad |
| CamfortEnv | |
| 1 (Type/Class) | Camfort.Functionality |
| 2 (Data Constructor) | Camfort.Functionality |
| camfortInitialize | Camfort.Functionality |
| caml | Camfort.Helpers.Syntax |
| cast | Camfort.Specification.Units.Environment |
| catchAnalysisT | Camfort.Analysis |
| CBTBool | Language.Fortran.Model.Op.Core.Core |
| CBTChar | Language.Fortran.Model.Op.Core.Core |
| CBTNum | Language.Fortran.Model.Op.Core.Core |
| ceExcludeFiles | Camfort.Functionality |
| ceFortranVersion | Camfort.Functionality |
| ceIncludeDir | Camfort.Functionality |
| ceInputSources | Camfort.Functionality |
| ceLogLevel | Camfort.Functionality |
| Centered | Camfort.Specification.Stencils.Syntax |
| ceSourceSnippets | Camfort.Functionality |
| Char8 | |
| 1 (Type/Class) | Language.Fortran.Model.Types, Language.Fortran.Model |
| 2 (Data Constructor) | Language.Fortran.Model.Types, Language.Fortran.Model |
| CharConstr | Camfort.Specification.Units.Environment |
| CharRep | Camfort.Specification.Units.Environment |
| check | |
| 1 (Function) | Camfort.Specification.DerivedDataType |
| 2 (Function) | Camfort.Specification.Stencils |
| 3 (Function) | Camfort.Specification.Hoare |
| checkAllocateStatements | Camfort.Analysis.Simple |
| checkArrayUse | Camfort.Analysis.Simple |
| checkDir | Camfort.Helpers |
| checkFailure | Camfort.Specification.Stencils.CheckFrontend |
| checkFloatingPointUse | Camfort.Analysis.Simple |
| checkImplicitNone | Camfort.Analysis.Simple |
| checkModuleUse | Camfort.Analysis.Simple |
| checkOffsetsAgainstSpec | Camfort.Specification.Stencils.CheckBackend |
| checkPU | Camfort.Specification.Hoare.CheckBackend |
| CheckResult | Camfort.Specification.Stencils.CheckFrontend |
| checkUnits | Camfort.Specification.Units.Analysis.Consistent |
| checkWarnings | Camfort.Specification.Stencils.CheckFrontend |
| chooseImplicitNames | Camfort.Specification.Units.InferenceBackend |
| cleanLinks | Camfort.Specification.Units.Annotation |
| coalesce | Camfort.Specification.Stencils.InferenceBackend |
| coerceBy | Language.Fortran.Model.Op.Eval |
| coercePrimSVal | Language.Fortran.Model.Op.Eval |
| coerceSBVKinds | Language.Fortran.Model.Op.Eval |
| collect | Camfort.Helpers |
| colSort | Camfort.Specification.Units.Environment |
| common | Camfort.Functionality |
| commonElimToModules | Camfort.Transformation.CommonBlockElim |
| ComparableBasicTypes | Language.Fortran.Model.Op.Core.Core |
| compare | Camfort.Specification.Stencils.PartialOrd |
| Compare_6989586621679394002 | Language.Fortran.Model.Singletons |
| Compare_6989586621679394002Sym0 | Language.Fortran.Model.Singletons |
| Compare_6989586621679394002Sym0KindInference | Language.Fortran.Model.Singletons |
| Compare_6989586621679394002Sym1 | Language.Fortran.Model.Singletons |
| Compare_6989586621679394002Sym1KindInference | Language.Fortran.Model.Singletons |
| Compare_6989586621679394002Sym2 | Language.Fortran.Model.Singletons |
| Compare_6989586621679394011 | Language.Fortran.Model.Singletons |
| Compare_6989586621679394011Sym0 | Language.Fortran.Model.Singletons |
| Compare_6989586621679394011Sym0KindInference | Language.Fortran.Model.Singletons |
| Compare_6989586621679394011Sym1 | Language.Fortran.Model.Singletons |
| Compare_6989586621679394011Sym1KindInference | Language.Fortran.Model.Singletons |
| Compare_6989586621679394011Sym2 | Language.Fortran.Model.Singletons |
| compile | Camfort.Specification.DerivedDataType |
| compileStencils | Camfort.Specification.Stencils.Analysis |
| compileUnits | Camfort.Specification.Units.Analysis |
| composeSubs | Camfort.Specification.Units.BackendTypes |
| ConConj | Camfort.Specification.Units.Environment |
| ConEq | Camfort.Specification.Units.Environment |
| ConIndex | Camfort.Specification.Units.Environment |
| conParamEq | Camfort.Specification.Units.Environment |
| Cons | Camfort.Helpers.Vec |
| ConsistencyError | Camfort.Specification.Units.Analysis.Consistent |
| ConsistencyReport | Camfort.Specification.Units.Analysis.Consistent |
| ConsistencyResult | Camfort.Specification.Stencils.Consistency |
| Consistent | |
| 1 (Data Constructor) | Camfort.Specification.Stencils.Consistency |
| 2 (Data Constructor) | Camfort.Specification.Units.Analysis.Consistent |
| consistent | Camfort.Specification.Stencils.Consistency |
| consistentIVSuse | Camfort.Specification.Stencils.Generate |
| 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 |
| constraintToDim | Camfort.Specification.Units.BackendTypes |
| 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 |
| copyMatrix | Camfort.Specification.Units.InferenceBackendFlint |
| CoreOp | |
| 1 (Type/Class) | Language.Fortran.Model.Op.Core, Language.Fortran.Model.Op, Language.Fortran.Model |
| 2 (Data Constructor) | Language.Fortran.Model.Op.Core, Language.Fortran.Model.Op, Language.Fortran.Model |
| CoreRepr | Language.Fortran.Model.Repr, Language.Fortran.Model |
| coreReprD | Language.Fortran.Model.Repr, Language.Fortran.Model |
| CoreTyp | Camfort.Specification.Stencils.Model |
| countVarDecls | Camfort.Functionality |
| countVariableDeclarations | Camfort.Analysis.Simple |
| CRArray | Language.Fortran.Model.Repr, Language.Fortran.Model |
| CRData | Language.Fortran.Model.Repr, Language.Fortran.Model |
| criticalVariables | |
| 1 (Function) | Camfort.Specification.Units.InferenceBackend |
| 2 (Function) | Camfort.Specification.Units.InferenceBackendSBV |
| CRPrim | Language.Fortran.Model.Repr, Language.Fortran.Model |
| D | Language.Fortran.Model.Types, Language.Fortran.Model |
| DArray | Language.Fortran.Model.Types, Language.Fortran.Model |
| dArrValue | Language.Fortran.Model.Types, Language.Fortran.Model |
| 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 |
| dcast | Language.Fortran.Model.Types.Match |
| DData | Language.Fortran.Model.Types, Language.Fortran.Model |
| ddtCheck | Camfort.Functionality |
| ddtCompile | Camfort.Functionality |
| ddtInfer | Camfort.Functionality |
| DDTParseError | Camfort.Specification.DerivedDataType.Parser |
| ddtParser | Camfort.Specification.DerivedDataType.Parser |
| ddtrAMap | Camfort.Specification.DerivedDataType |
| ddtrBDE | Camfort.Specification.DerivedDataType |
| ddtrBLE | Camfort.Specification.DerivedDataType |
| ddtrCE | Camfort.Specification.DerivedDataType |
| ddtrCheck | Camfort.Specification.DerivedDataType |
| ddtRefactor | Camfort.Functionality |
| ddtrIDE | Camfort.Specification.DerivedDataType |
| ddtrSMap | Camfort.Specification.DerivedDataType |
| ddtrSpecs | Camfort.Specification.DerivedDataType |
| ddtrVMap | Camfort.Specification.DerivedDataType |
| DDTSt | Camfort.Specification.DerivedDataType.Parser |
| DDTStatement | Camfort.Specification.DerivedDataType.Parser |
| ddtStLabels | Camfort.Specification.DerivedDataType.Parser |
| ddtStStarred | Camfort.Specification.DerivedDataType.Parser |
| ddtStTypeName | Camfort.Specification.DerivedDataType.Parser |
| ddtStVarDims | Camfort.Specification.DerivedDataType.Parser |
| ddtSynth | Camfort.Functionality |
| dead | Camfort.Functionality |
| deadCode | Camfort.Transformation.DeadCode |
| Default | Camfort.Input |
| defaultSemantics | Language.Fortran.Model.Translate |
| defaultTranslateEnv | Language.Fortran.Model.Translate |
| defaultValue | Camfort.Input |
| deleteLine | Camfort.Helpers.Syntax |
| deleteNode | Camfort.Analysis.Annotations |
| DerivedDataTypeReport | |
| 1 (Type/Class) | Camfort.Specification.DerivedDataType |
| 2 (Data Constructor) | Camfort.Specification.DerivedDataType |
| descendBiReverseM | Camfort.Helpers |
| descendReverseM | Camfort.Helpers |
| Describe | Camfort.Analysis.Logger, Camfort.Analysis |
| describe | Camfort.Analysis.Logger, Camfort.Analysis |
| describeBuilder | Camfort.Analysis.Logger, Camfort.Analysis |
| describePerFileAnalysisP | Camfort.Input |
| describeReport | Camfort.Analysis |
| describeShow | Camfort.Analysis.Logger, Camfort.Analysis |
| Dim | Camfort.Specification.Units.BackendTypes |
| dimFromList | Camfort.Specification.Units.BackendTypes |
| dimFromUnitInfo | Camfort.Specification.Units.BackendTypes |
| dimFromUnitInfos | Camfort.Specification.Units.BackendTypes |
| dimMultiply | Camfort.Specification.Units.BackendTypes |
| dimParamEq | Camfort.Specification.Units.BackendTypes |
| dimParamEqCon | Camfort.Specification.Units.BackendTypes |
| dimRaisePow | Camfort.Specification.Units.BackendTypes |
| dimSimplify | Camfort.Specification.Units.BackendTypes |
| dimToConstraint | Camfort.Specification.Units.BackendTypes |
| dimToUnitInfo | Camfort.Specification.Units.BackendTypes |
| dimToUnitInfos | Camfort.Specification.Units.BackendTypes |
| dIndex | Language.Fortran.Model.Types, Language.Fortran.Model |
| Directory | Camfort.Helpers |
| doRefactor | Camfort.Input |
| doRefactorAndCreate | Camfort.Input |
| doubleToRationalSubset | Camfort.Specification.Units.Environment |
| Doxygen | Camfort.Functionality |
| DPrim | Language.Fortran.Model.Types, Language.Fortran.Model |
| dropLine | Camfort.Helpers.Syntax |
| dumpModFileCompiledUnits | Camfort.Specification.Units.ModFile |
| elem | Camfort.Specification.Stencils.PartialOrd |
| elemrowadds | Camfort.Specification.Units.InferenceBackendFlint |
| elemrowscale | Camfort.Specification.Units.InferenceBackendFlint |
| eqArrValue | Language.Fortran.Model.Types.Match |
| eqD | Language.Fortran.Model.Types.Match |
| eqField | Language.Fortran.Model.Types.Match |
| eqPrim | Language.Fortran.Model.Types.Match |
| eqRec | Language.Fortran.Model.Types.Match |
| eqSymbol | Language.Fortran.Model.Types.Match |
| EqT | Camfort.Helpers.Vec |
| eqT | Camfort.Specification.Units.Environment |
| Equals_6989586621679394018 | Language.Fortran.Model.Singletons |
| Equals_6989586621679394022 | Language.Fortran.Model.Singletons |
| equivalences | Camfort.Functionality |
| ErrBadLiteral | Language.Fortran.Model.Translate |
| ErrInvalidKind | Language.Fortran.Model.Translate |
| ErrInvalidOpApplication | Language.Fortran.Model.Translate |
| ErrUnexpectedType | Language.Fortran.Model.Translate |
| ErrUnsupportedItem | Language.Fortran.Model.Translate |
| ErrVarNotInScope | Language.Fortran.Model.Translate |
| evalCoreOp | Language.Fortran.Model.Op.Core.Eval |
| EvalLog | Camfort.Specification.Stencils.Generate |
| Exact | Camfort.Specification.Stencils.Model |
| existingStencils | Camfort.Specification.Stencils.CheckFrontend |
| ExistsEqT | |
| 1 (Type/Class) | Camfort.Helpers.Vec |
| 2 (Data Constructor) | Camfort.Helpers.Vec |
| exitCodeOf | Camfort.Analysis |
| ExitCodeOfReport | Camfort.Analysis |
| exitCodeOfSet | Camfort.Analysis |
| extractRelevantIVS | Camfort.Specification.Stencils.Generate |
| extractVariable | Camfort.Helpers.Syntax |
| failAnalysis | Camfort.Analysis |
| failAnalysis' | Camfort.Analysis |
| Field | |
| 1 (Type/Class) | Language.Fortran.Model.Types, Language.Fortran.Model |
| 2 (Data Constructor) | Language.Fortran.Model.Types, Language.Fortran.Model |
| Filename | Camfort.Helpers |
| FileOrDir | Camfort.Helpers |
| findIndex | Camfort.Helpers.Vec |
| Fixity | Camfort.Specification.Units.Environment |
| flattenConstraints | Camfort.Specification.Units.InferenceBackend |
| flattenUnits | Camfort.Specification.Units.Environment, Camfort.Specification.Units.InferenceBackend |
| flintToHMatrix | Camfort.Specification.Units.InferenceBackendFlint |
| FloatConstr | Camfort.Specification.Units.Environment |
| FloatRep | Camfort.Specification.Units.Environment |
| FMPZ | |
| 1 (Type/Class) | Camfort.Specification.Units.InferenceBackendFlint |
| 2 (Data Constructor) | Camfort.Specification.Units.InferenceBackendFlint |
| FMPZMat | Camfort.Specification.Units.InferenceBackendFlint |
| fmpz_get_si | Camfort.Specification.Units.InferenceBackendFlint |
| fmpz_mat_clear | Camfort.Specification.Units.InferenceBackendFlint |
| fmpz_mat_entry | Camfort.Specification.Units.InferenceBackendFlint |
| fmpz_mat_hnf | Camfort.Specification.Units.InferenceBackendFlint |
| fmpz_mat_init | Camfort.Specification.Units.InferenceBackendFlint |
| fmpz_mat_inv | Camfort.Specification.Units.InferenceBackendFlint |
| fmpz_mat_mul | Camfort.Specification.Units.InferenceBackendFlint |
| fmpz_mat_print_pretty | Camfort.Specification.Units.InferenceBackendFlint |
| fmpz_mat_rank | Camfort.Specification.Units.InferenceBackendFlint |
| fmpz_mat_rref | Camfort.Specification.Units.InferenceBackendFlint |
| fmpz_mat_set | Camfort.Specification.Units.InferenceBackendFlint |
| fmpz_mat_window_clear | Camfort.Specification.Units.InferenceBackendFlint |
| fmpz_mat_window_init | Camfort.Specification.Units.InferenceBackendFlint |
| fmpz_set_si | Camfort.Specification.Units.InferenceBackendFlint |
| foldUnits | Camfort.Specification.Units.Environment |
| Ford | Camfort.Functionality |
| formatSpec | Camfort.Specification.Stencils.Synthesis |
| formatSpecNoComment | Camfort.Specification.Stencils.Synthesis |
| FortranExpr | Language.Fortran.Model.Translate |
| FortranSemantics | |
| 1 (Type/Class) | Language.Fortran.Model.Translate |
| 2 (Data Constructor) | Language.Fortran.Model.Translate |
| FortranVar | |
| 1 (Type/Class) | Language.Fortran.Model.Vars |
| 2 (Data Constructor) | Language.Fortran.Model.Vars |
| Forward | Camfort.Specification.Stencils.Syntax |
| fpCheck | Camfort.Functionality |
| freeDimVars | Camfort.Specification.Units.BackendTypes |
| freshId | Camfort.Specification.Units.Monad |
| 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 |
| fsCharacterKinds | Language.Fortran.Model.Translate |
| fsDoublePrecisionKinds | Language.Fortran.Model.Translate |
| fsIntegerKinds | Language.Fortran.Model.Translate |
| fsLogicalKinds | Language.Fortran.Model.Translate |
| fsRealKinds | Language.Fortran.Model.Translate |
| funResultTy | Camfort.Specification.Units.Environment |
| gcast | Camfort.Specification.Units.Environment |
| gcast1 | Camfort.Specification.Units.Environment |
| gcast2 | Camfort.Specification.Units.Environment |
| generalizePureAnalysis | Camfort.Analysis |
| genModFiles | Camfort.Analysis.ModFile |
| genModFilesP | Camfort.Analysis.ModFile |
| genOffsets | Camfort.Specification.Stencils.Generate |
| genSpecifications | Camfort.Specification.Stencils.Generate |
| genUnitAssignments | |
| 1 (Function) | Camfort.Specification.Units.InferenceBackend |
| 2 (Function) | Camfort.Specification.Units.InferenceBackendSBV |
| genUnitAssignments' | Camfort.Specification.Units.InferenceBackend |
| genUnitsModFile | Camfort.Specification.Units.ModFile |
| getAstSpec | Camfort.Specification.Stencils.Annotation |
| getBaseAnnotation | Camfort.Specification.Stencils.Annotation |
| getBool16 | Language.Fortran.Model.Types, Language.Fortran.Model |
| getBool32 | Language.Fortran.Model.Types, Language.Fortran.Model |
| getBool64 | Language.Fortran.Model.Types, Language.Fortran.Model |
| getBool8 | Language.Fortran.Model.Types, Language.Fortran.Model |
| getChar8 | Language.Fortran.Model.Types, Language.Fortran.Model |
| getConstraint | Camfort.Specification.Units.Annotation |
| getConstraints | Camfort.Specification.Units.Monad |
| getDefaultSourceFile | Camfort.Analysis.Logger |
| getDir | Camfort.Helpers |
| getInferred | Camfort.Specification.Units.Analysis.Infer |
| getModFiles | Camfort.Analysis.ModFile |
| getNameParamMap | Camfort.Specification.Units.Monad |
| getParseSpec | Camfort.Specification.Stencils.Annotation |
| getPrimS | Language.Fortran.Model.Types, Language.Fortran.Model |
| getProgramFile | Camfort.Specification.Units.Monad |
| getRegionSpec | Camfort.Specification.Stencils.Annotation |
| getSourceName | Language.Fortran.Model.Vars |
| getStencilBlock | Camfort.Specification.Stencils.Annotation |
| getTemplateMap | Camfort.Specification.Units.Monad |
| getTranslateT | Language.Fortran.Model.Translate |
| getUniqueName | Language.Fortran.Model.Vars |
| getUnitAliasMap | Camfort.Specification.Units.Monad |
| getUnitInfo | Camfort.Specification.Units.Annotation |
| getVarUnitMap | Camfort.Specification.Units.Monad |
| gfoldl | Camfort.Specification.Units.Environment |
| giveAstSpec | Camfort.Specification.Stencils.Annotation |
| GivenVarSet | Camfort.Specification.Units.MonadTypes, Camfort.Specification.Units.Monad |
| giveParseSpec | Camfort.Specification.Stencils.Annotation |
| giveRegionSpec | Camfort.Specification.Stencils.Annotation |
| 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 |
| HA | Camfort.Specification.Hoare.Annotation |
| hasDuplicates | Camfort.Specification.Stencils.Syntax |
| HasPrimReprHandlers | Language.Fortran.Model.Repr.Prim |
| HighOp | Language.Fortran.Model.Op.High, Language.Fortran.Model.Op, Language.Fortran.Model |
| HighRepr | Language.Fortran.Model.Repr, Language.Fortran.Model |
| hnf | Camfort.Specification.Units.InferenceBackendFlint |
| HoareAnalysis | Camfort.Specification.Hoare.CheckFrontend |
| hoareAnn0 | Camfort.Specification.Hoare.Annotation |
| HoareAnnotation | |
| 1 (Type/Class) | Camfort.Specification.Hoare.Annotation |
| 2 (Data Constructor) | Camfort.Specification.Hoare.Annotation |
| HoareBackendError | Camfort.Specification.Hoare.CheckBackend |
| HoareCheckResult | |
| 1 (Type/Class) | Camfort.Specification.Hoare.CheckBackend |
| 2 (Data Constructor) | Camfort.Specification.Hoare.CheckBackend |
| HoareCheckResults | |
| 1 (Type/Class) | Camfort.Specification.Hoare |
| 2 (Data Constructor) | Camfort.Specification.Hoare |
| HoareFrontendError | Camfort.Specification.Hoare.CheckFrontend |
| HoareFrontendWarning | Camfort.Specification.Hoare.CheckFrontend |
| HoareParseError | Camfort.Specification.Hoare.Parser.Types |
| hoareParser | Camfort.Specification.Hoare.Parser |
| hoarePrevAnnotation | Camfort.Specification.Hoare.Annotation |
| hoarePUName | Camfort.Specification.Hoare.Annotation |
| hoareSod | Camfort.Specification.Hoare.Annotation |
| HoareSpecParser | Camfort.Specification.Hoare.Parser.Types |
| HopLift | Language.Fortran.Model.Op.High, Language.Fortran.Model.Op, Language.Fortran.Model |
| HRCore | Language.Fortran.Model.Repr, Language.Fortran.Model |
| HRefl | Camfort.Specification.Units.Environment |
| HRHigh | Language.Fortran.Model.Repr, Language.Fortran.Model |
| identDim | Camfort.Specification.Units.BackendTypes |
| identSub | Camfort.Specification.Units.BackendTypes |
| implicitNone | Camfort.Functionality |
| ImplicitNoneReport | |
| 1 (Type/Class) | Camfort.Analysis.Simple |
| 2 (Data Constructor) | Camfort.Analysis.Simple |
| Inconsistent | |
| 1 (Data Constructor) | Camfort.Specification.Stencils.Consistency |
| 2 (Data Constructor) | Camfort.Specification.Units.Analysis.Consistent |
| inconsistentConstraints | |
| 1 (Function) | Camfort.Specification.Units.InferenceBackend |
| 2 (Function) | Camfort.Specification.Units.InferenceBackendSBV |
| Index | |
| 1 (Type/Class) | Language.Fortran.Model.Types, Language.Fortran.Model |
| 2 (Data Constructor) | Language.Fortran.Model.Types, Language.Fortran.Model |
| indexConstr | Camfort.Specification.Units.Environment |
| indicesToRelativisedOffsets | Camfort.Specification.Stencils.Generate |
| indicesToSpec | Camfort.Specification.Stencils.Generate |
| infer | |
| 1 (Function) | Camfort.Specification.DerivedDataType |
| 2 (Function) | Camfort.Specification.Stencils |
| inferCriticalVariables | Camfort.Specification.Units.Analysis.Criticals |
| InferenceReport | |
| 1 (Type/Class) | Camfort.Specification.Units.Analysis.Infer |
| 2 (Data Constructor) | Camfort.Specification.Units.Analysis.Infer |
| InferenceResult | Camfort.Specification.Units.Analysis.Infer |
| inferFromIndicesWithoutLinearity | Camfort.Specification.Stencils.InferenceBackend |
| inferMinimalVectorRegions | Camfort.Specification.Stencils.InferenceBackend |
| Inferred | Camfort.Specification.Units.Analysis.Infer |
| inferUnits | Camfort.Specification.Units.Analysis.Infer |
| inferVariables | |
| 1 (Function) | Camfort.Specification.Units.InferenceBackend |
| 2 (Function) | Camfort.Specification.Units.InferenceBackendSBV |
| InfInconsistent | Camfort.Specification.Units.Analysis.Infer |
| Infix | Camfort.Specification.Units.Environment |
| initializeModFiles | Camfort.Specification.Units.ModFile |
| initInference | Camfort.Specification.Units.Analysis |
| InnerHA | Camfort.Specification.Hoare.Annotation |
| IntBool | Language.Fortran.Model.Repr.Prim |
| 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 |
| intoMetaExpr | Camfort.Specification.Hoare.Translate |
| IntRep | Camfort.Specification.Units.Environment |
| IntRepr | Language.Fortran.Model.Repr.Prim |
| inv | Camfort.Specification.Units.InferenceBackendFlint |
| InvalidPUConditions | Camfort.Specification.Hoare.CheckFrontend |
| InvalidSourceName | Camfort.Specification.Hoare.CheckBackend |
| invariantChecking | Camfort.Specification.Hoare.CheckFrontend |
| invariantsCheck | Camfort.Functionality |
| isAlgType | Camfort.Specification.Units.Environment |
| isArraySubscript | Camfort.Specification.Stencils.Generate |
| isComment | Camfort.Analysis.CommentAnnotator |
| isDirectory | Camfort.Helpers |
| isEmpty | Camfort.Specification.Stencils.Syntax |
| isIdentDim | Camfort.Specification.Units.BackendTypes |
| isMonomorphic | Camfort.Specification.Units.Environment |
| isNewFile | Camfort.Output |
| isNorepType | Camfort.Specification.Units.Environment |
| IsStencil | Camfort.Specification.Stencils.Syntax |
| isUnit | Camfort.Specification.Stencils.Syntax |
| isUnitless | Camfort.Specification.Units.Environment |
| isVariableExpr | Camfort.Specification.Stencils.Generate |
| KindSelector | |
| 1 (Type/Class) | Language.Fortran.Model.Translate |
| 2 (Data Constructor) | Language.Fortran.Model.Translate |
| 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 |
| MachineFloat | Language.Fortran.Model.Repr.Prim |
| MachineInt | Language.Fortran.Model.Repr.Prim |
| MakePrim | |
| 1 (Type/Class) | Language.Fortran.Model.Types.Match |
| 2 (Data Constructor) | Language.Fortran.Model.Types.Match |
| makePrim | Language.Fortran.Model.Types.Match |
| makeSymRepr | Language.Fortran.Model.Repr.Prim |
| MalformedExpression | Camfort.Specification.Hoare.Parser.Types |
| MalformedTypeSpec | Camfort.Specification.Hoare.Parser.Types |
| mapAnalysisT | Camfort.Analysis |
| mapLoggerT | Camfort.Analysis.Logger |
| mapSome | Camfort.Helpers.TypeLevel |
| MatchCompareR | |
| 1 (Type/Class) | Language.Fortran.Model.Op.Core.Match |
| 2 (Data Constructor) | Language.Fortran.Model.Op.Core.Match |
| matchCompareR | Language.Fortran.Model.Op.Core.Match |
| matchingWith2 | Language.Fortran.Model.Util |
| matchingWithBoth | Language.Fortran.Model.Util |
| MatchNumR | |
| 1 (Type/Class) | Language.Fortran.Model.Op.Core.Match |
| 2 (Data Constructor) | Language.Fortran.Model.Op.Core.Match |
| matchNumR | Language.Fortran.Model.Op.Core.Match |
| MatchNumType | |
| 1 (Type/Class) | Language.Fortran.Model.Op.Core.Match |
| 2 (Data Constructor) | Language.Fortran.Model.Op.Core.Match |
| matchNumType | Language.Fortran.Model.Op.Core.Match |
| MatchOpSpec | |
| 1 (Type/Class) | Language.Fortran.Model.Op.Core.Match |
| 2 (Data Constructor) | Language.Fortran.Model.Op.Core.Match |
| matchOpSpec | Language.Fortran.Model.Op.Core.Match |
| MatchPrim | |
| 1 (Type/Class) | Language.Fortran.Model.Types.Match |
| 2 (Data Constructor) | Language.Fortran.Model.Types.Match |
| matchPrim | Language.Fortran.Model.Types.Match |
| MatchPrimD | |
| 1 (Type/Class) | Language.Fortran.Model.Types.Match |
| 2 (Data Constructor) | Language.Fortran.Model.Types.Match |
| matchPrimD | Language.Fortran.Model.Types.Match |
| maxConstrIndex | Camfort.Specification.Units.Environment |
| maxima | Camfort.Specification.Stencils.PartialOrd |
| maximas | Camfort.Specification.Stencils.Model |
| maybeSetUnitConstraintF2 | Camfort.Specification.Units.Annotation |
| maybeSetUnitInfo | Camfort.Specification.Units.Annotation |
| maybeSetUnitInfoF2 | Camfort.Specification.Units.Annotation |
| MetaExpr | Camfort.Specification.Hoare.Translate |
| MetaFormula | Camfort.Specification.Hoare.Translate |
| MetaOp | Language.Fortran.Model.Op.Meta, Language.Fortran.Model.Op, Language.Fortran.Model |
| MFCompiler | Camfort.Analysis.ModFile |
| minima | Camfort.Specification.Stencils.PartialOrd |
| 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 |
| mkStencilAnnotation | Camfort.Specification.Stencils.Annotation |
| mkUnitAnnotation | Camfort.Specification.Units.Annotation |
| modifyBaseAnnotation | Camfort.Specification.Stencils.Annotation |
| modifyCallIdRemap | Camfort.Specification.Units.Monad |
| modifyCallIdRemapM | Camfort.Specification.Units.Monad |
| modifyConstraints | 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 |
| MonadAnalysis | Camfort.Analysis |
| MonadEvalFortran | Language.Fortran.Model.Op.Eval, Language.Fortran.Model.Op.Core.Eval |
| MonadLogger | Camfort.Analysis.Logger, Camfort.Analysis |
| MopCoercePrim | Language.Fortran.Model.Op.Meta, Language.Fortran.Model.Op, Language.Fortran.Model |
| MopWriteArr | Language.Fortran.Model.Op.Meta, Language.Fortran.Model.Op, Language.Fortran.Model |
| MopWriteData | Language.Fortran.Model.Op.Meta, Language.Fortran.Model.Op, Language.Fortran.Model |
| MsgDebug | Camfort.Analysis.Logger |
| MsgError | Camfort.Analysis.Logger |
| MsgInfo | Camfort.Analysis.Logger |
| MsgWarn | Camfort.Analysis.Logger |
| Mult | Camfort.Specification.Stencils.Model |
| Multiplicity | Camfort.Specification.Stencils.Model |
| NamePair | |
| 1 (Type/Class) | Language.Fortran.Model.Vars |
| 2 (Data Constructor) | Language.Fortran.Model.Vars |
| NameParamKey | Camfort.Specification.Units.MonadTypes, Camfort.Specification.Units.Monad |
| NameParamMap | Camfort.Specification.Units.MonadTypes, Camfort.Specification.Units.Monad |
| Nat | Camfort.Helpers.Vec |
| Natural | Camfort.Helpers.Vec |
| NBTInt | Language.Fortran.Model.Op.Core.Core |
| NBTReal | Language.Fortran.Model.Op.Core.Core |
| 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 |
| NonLValueAssignment | Camfort.Specification.Hoare.CheckBackend |
| NonNeighbour | Camfort.Specification.Stencils.Generate |
| NoRep | Camfort.Specification.Units.Environment |
| normaliseDim | Camfort.Specification.Units.BackendTypes |
| normHNF | Camfort.Specification.Units.InferenceBackendFlint |
| normhnf | Camfort.Specification.Units.InferenceBackendFlint |
| normHNF' | Camfort.Specification.Units.InferenceBackendFlint |
| notElem | Camfort.Specification.Stencils.PartialOrd |
| NPKParam | Camfort.Specification.Units.MonadTypes, Camfort.Specification.Units.Monad |
| NPKVariable | Camfort.Specification.Units.MonadTypes, Camfort.Specification.Units.Monad |
| npSource | Language.Fortran.Model.Vars |
| npUnique | Language.Fortran.Model.Vars |
| nub | Camfort.Specification.Stencils.PartialOrd |
| number | Camfort.Analysis.Annotations |
| NumericBasicType | Language.Fortran.Model.Op.Core.Core |
| Offsets | |
| 1 (Type/Class) | Camfort.Specification.Stencils.Model |
| 2 (Data Constructor) | Camfort.Specification.Stencils.Model |
| offsetToIx | Camfort.Specification.Stencils.Synthesis |
| oFile | Camfort.Analysis.Logger |
| OKDeref | Language.Fortran.Model.Singletons, Language.Fortran.Model.Op.Core, Language.Fortran.Model.Op, Language.Fortran.Model |
| OKDerefSym0 | Language.Fortran.Model.Singletons |
| OKEq | Language.Fortran.Model.Singletons, Language.Fortran.Model.Op.Core, Language.Fortran.Model.Op, Language.Fortran.Model |
| OKEqSym0 | Language.Fortran.Model.Singletons |
| OKLit | Language.Fortran.Model.Singletons, Language.Fortran.Model.Op.Core, Language.Fortran.Model.Op, Language.Fortran.Model |
| OKLitSym0 | Language.Fortran.Model.Singletons |
| OKLogical | Language.Fortran.Model.Singletons, Language.Fortran.Model.Op.Core, Language.Fortran.Model.Op, Language.Fortran.Model |
| OKLogicalSym0 | Language.Fortran.Model.Singletons |
| OKLookup | Language.Fortran.Model.Singletons, Language.Fortran.Model.Op.Core, Language.Fortran.Model.Op, Language.Fortran.Model |
| OKLookupSym0 | Language.Fortran.Model.Singletons |
| OKNum | Language.Fortran.Model.Singletons, Language.Fortran.Model.Op.Core, Language.Fortran.Model.Op, Language.Fortran.Model |
| OKNumSym0 | Language.Fortran.Model.Singletons |
| OKRel | Language.Fortran.Model.Singletons, Language.Fortran.Model.Op.Core, Language.Fortran.Model.Op, Language.Fortran.Model |
| OKRelSym0 | Language.Fortran.Model.Singletons |
| OKWriteArr | Language.Fortran.Model.Singletons, Language.Fortran.Model.Op.Core, Language.Fortran.Model.Op, Language.Fortran.Model |
| OKWriteArrSym0 | Language.Fortran.Model.Singletons |
| OKWriteData | Language.Fortran.Model.Singletons, Language.Fortran.Model.Op.Core, Language.Fortran.Model.Op, Language.Fortran.Model |
| OKWriteDataSym0 | Language.Fortran.Model.Singletons |
| on2 | Language.Fortran.Model.Util |
| Once | Camfort.Specification.Stencils.Model |
| onPrev | Camfort.Analysis.Annotations |
| Op | Language.Fortran.Model.Op.Core.Core, Language.Fortran.Model.Op.Core, Language.Fortran.Model.Op, Language.Fortran.Model |
| OpAdd | Language.Fortran.Model.Op.Core.Core, Language.Fortran.Model.Op.Core, Language.Fortran.Model.Op, Language.Fortran.Model |
| OpAnd | Language.Fortran.Model.Op.Core.Core, Language.Fortran.Model.Op.Core, Language.Fortran.Model.Op, Language.Fortran.Model |
| OpDeref | Language.Fortran.Model.Op.Core.Core, Language.Fortran.Model.Op.Core, Language.Fortran.Model.Op, Language.Fortran.Model |
| OpDiv | Language.Fortran.Model.Op.Core.Core, Language.Fortran.Model.Op.Core, Language.Fortran.Model.Op, Language.Fortran.Model |
| OpEq | Language.Fortran.Model.Op.Core.Core, Language.Fortran.Model.Op.Core, Language.Fortran.Model.Op, Language.Fortran.Model |
| OpEquiv | Language.Fortran.Model.Op.Core.Core, Language.Fortran.Model.Op.Core, Language.Fortran.Model.Op, Language.Fortran.Model |
| OpGE | Language.Fortran.Model.Op.Core.Core, Language.Fortran.Model.Op.Core, Language.Fortran.Model.Op, Language.Fortran.Model |
| OpGT | Language.Fortran.Model.Op.Core.Core, Language.Fortran.Model.Op.Core, Language.Fortran.Model.Op, Language.Fortran.Model |
| OpKind | Language.Fortran.Model.Singletons, Language.Fortran.Model.Op.Core, Language.Fortran.Model.Op, Language.Fortran.Model |
| OpLE | Language.Fortran.Model.Op.Core.Core, Language.Fortran.Model.Op.Core, Language.Fortran.Model.Op, Language.Fortran.Model |
| OpLit | Language.Fortran.Model.Op.Core.Core, Language.Fortran.Model.Op.Core, Language.Fortran.Model.Op, Language.Fortran.Model |
| OpLookup | Language.Fortran.Model.Op.Core.Core, Language.Fortran.Model.Op.Core, Language.Fortran.Model.Op, Language.Fortran.Model |
| OpLT | Language.Fortran.Model.Op.Core.Core, Language.Fortran.Model.Op.Core, Language.Fortran.Model.Op, Language.Fortran.Model |
| OpMul | Language.Fortran.Model.Op.Core.Core, Language.Fortran.Model.Op.Core, Language.Fortran.Model.Op, Language.Fortran.Model |
| OpNE | Language.Fortran.Model.Op.Core.Core, Language.Fortran.Model.Op.Core, Language.Fortran.Model.Op, Language.Fortran.Model |
| OpNeg | Language.Fortran.Model.Op.Core.Core, Language.Fortran.Model.Op.Core, Language.Fortran.Model.Op, Language.Fortran.Model |
| OpNot | Language.Fortran.Model.Op.Core.Core, Language.Fortran.Model.Op.Core, Language.Fortran.Model.Op, Language.Fortran.Model |
| OpNotEquiv | Language.Fortran.Model.Op.Core.Core, Language.Fortran.Model.Op.Core, Language.Fortran.Model.Op, Language.Fortran.Model |
| OpOr | Language.Fortran.Model.Op.Core.Core, Language.Fortran.Model.Op.Core, Language.Fortran.Model.Op, Language.Fortran.Model |
| OpPos | Language.Fortran.Model.Op.Core.Core, Language.Fortran.Model.Op.Core, Language.Fortran.Model.Op, Language.Fortran.Model |
| OpSpec | Language.Fortran.Model.Op.Core.Core, Language.Fortran.Model.Op.Core, Language.Fortran.Model.Op, Language.Fortran.Model |
| OpSub | Language.Fortran.Model.Op.Core.Core, Language.Fortran.Model.Op.Core, Language.Fortran.Model.Op, Language.Fortran.Model |
| optimise | Camfort.Specification.Stencils.Model |
| Or | Camfort.Specification.Stencils.Parser.Types |
| Origin | |
| 1 (Type/Class) | Camfort.Analysis.Logger, Camfort.Analysis |
| 2 (Data Constructor) | Camfort.Analysis.Logger, Camfort.Analysis |
| OrphanDecls | Camfort.Specification.Hoare.CheckFrontend |
| OSDeref | Language.Fortran.Model.Op.Core.Core, Language.Fortran.Model.Op.Core, Language.Fortran.Model.Op, Language.Fortran.Model |
| OSEq | Language.Fortran.Model.Op.Core.Core, Language.Fortran.Model.Op.Core, Language.Fortran.Model.Op, Language.Fortran.Model |
| OSLit | Language.Fortran.Model.Op.Core.Core, Language.Fortran.Model.Op.Core, Language.Fortran.Model.Op, Language.Fortran.Model |
| OSLogical1 | Language.Fortran.Model.Op.Core.Core, Language.Fortran.Model.Op.Core, Language.Fortran.Model.Op, Language.Fortran.Model |
| OSLogical2 | Language.Fortran.Model.Op.Core.Core, Language.Fortran.Model.Op.Core, Language.Fortran.Model.Op, Language.Fortran.Model |
| OSLookup | Language.Fortran.Model.Op.Core.Core, Language.Fortran.Model.Op.Core, Language.Fortran.Model.Op, Language.Fortran.Model |
| OSNum1 | Language.Fortran.Model.Op.Core.Core, Language.Fortran.Model.Op.Core, Language.Fortran.Model.Op, Language.Fortran.Model |
| OSNum2 | Language.Fortran.Model.Op.Core.Core, Language.Fortran.Model.Op.Core, Language.Fortran.Model.Op, Language.Fortran.Model |
| oSpan | Camfort.Analysis.Logger |
| OSRel | Language.Fortran.Model.Op.Core.Core, Language.Fortran.Model.Op.Core, Language.Fortran.Model.Op, Language.Fortran.Model |
| outputFile | Camfort.Output |
| OutputFiles | Camfort.Output |
| outputFiles | Camfort.Output |
| overField | Language.Fortran.Model.Types, Language.Fortran.Model |
| overField' | Language.Fortran.Model.Types, Language.Fortran.Model |
| P128 | Language.Fortran.Model.Singletons |
| P128Sym0 | Language.Fortran.Model.Singletons |
| P16 | Language.Fortran.Model.Singletons |
| P16Sym0 | Language.Fortran.Model.Singletons |
| P32 | Language.Fortran.Model.Singletons |
| P32Sym0 | Language.Fortran.Model.Singletons |
| P64 | Language.Fortran.Model.Singletons |
| P64Sym0 | Language.Fortran.Model.Singletons |
| P8 | Language.Fortran.Model.Singletons |
| P8Sym0 | Language.Fortran.Model.Singletons |
| PairOf | |
| 1 (Type/Class) | Camfort.Helpers.TypeLevel |
| 2 (Data Constructor) | Camfort.Helpers.TypeLevel |
| ParsedOrigin | |
| 1 (Type/Class) | Camfort.Analysis.Logger |
| 2 (Data Constructor) | Camfort.Analysis.Logger |
| ParseError | |
| 1 (Data Constructor) | Camfort.Specification.Hoare.Parser.Types |
| 2 (Data Constructor) | Camfort.Specification.Hoare.CheckFrontend |
| parseError | Camfort.Specification.Parser |
| parseExpression | Camfort.Specification.Hoare.Parser.Types |
| parseOrigin | Camfort.Analysis.Logger |
| parseTypeSpec | Camfort.Specification.Hoare.Parser.Types |
| PartialOrd | Camfort.Specification.Stencils.PartialOrd |
| PBool16 | Language.Fortran.Model.Types, Language.Fortran.Model |
| PBool32 | Language.Fortran.Model.Types, Language.Fortran.Model |
| PBool64 | Language.Fortran.Model.Types, Language.Fortran.Model |
| PBool8 | Language.Fortran.Model.Types, Language.Fortran.Model |
| PChar | Language.Fortran.Model.Types, Language.Fortran.Model |
| PDouble | Language.Fortran.Model.Types, Language.Fortran.Model |
| peekM | Camfort.Specification.Units.InferenceBackendFlint |
| peel | Camfort.Specification.Stencils.Model |
| Peelable | Camfort.Specification.Stencils.Model |
| perFileRefactoring | Camfort.Input |
| PFExpr | Camfort.Specification.Hoare.Syntax |
| PFloat | Language.Fortran.Model.Types, Language.Fortran.Model |
| PFLogical | Camfort.Specification.Hoare.Syntax |
| PInt16 | Language.Fortran.Model.Types, Language.Fortran.Model |
| PInt32 | Language.Fortran.Model.Types, Language.Fortran.Model |
| PInt64 | Language.Fortran.Model.Types, Language.Fortran.Model |
| PInt8 | Language.Fortran.Model.Types, Language.Fortran.Model |
| PLAnd | Camfort.Specification.Hoare.Syntax |
| PLEquiv | Camfort.Specification.Hoare.Syntax |
| PLImpl | Camfort.Specification.Hoare.Syntax |
| PLLit | Camfort.Specification.Hoare.Syntax |
| PLNot | Camfort.Specification.Hoare.Syntax |
| PLOr | Camfort.Specification.Hoare.Syntax |
| pokeM | Camfort.Specification.Units.InferenceBackendFlint |
| PP | Camfort.Specification.Units.Environment |
| pprintConstr | Camfort.Specification.Units.Environment |
| pprintSpecDecls | Camfort.Specification.Stencils.Syntax |
| pprintUnitInfo | Camfort.Specification.Units.Environment |
| Precision | Language.Fortran.Model.Singletons |
| PrecMax | Language.Fortran.Model.Singletons |
| precMax | Language.Fortran.Model.Singletons |
| PrecMaxSym0 | Language.Fortran.Model.Singletons |
| PrecMaxSym0KindInference | Language.Fortran.Model.Singletons |
| PrecMaxSym1 | Language.Fortran.Model.Singletons |
| PrecMaxSym1KindInference | Language.Fortran.Model.Singletons |
| PrecMaxSym2 | Language.Fortran.Model.Singletons |
| pRefactored | Camfort.Analysis.Annotations |
| Prefix | Camfort.Specification.Units.Environment |
| prettyTokens | Camfort.Specification.Hoare.Parser.Types |
| prevAnnotation | Camfort.Specification.Units.Annotation |
| prhKind | Language.Fortran.Model.Repr.Prim |
| prhLiteral | Language.Fortran.Model.Repr.Prim |
| prhSymbolic | Language.Fortran.Model.Repr.Prim |
| Prim | Language.Fortran.Model.Types, Language.Fortran.Model |
| primCeil | Language.Fortran.Model.Op.Core.Match |
| PrimFormula | Camfort.Specification.Hoare.Syntax |
| primLit | Language.Fortran.Model.Repr.Prim |
| PrimLogic | Camfort.Specification.Hoare.Syntax |
| PrimReprHandler | |
| 1 (Type/Class) | Language.Fortran.Model.Repr.Prim |
| 2 (Data Constructor) | Language.Fortran.Model.Repr.Prim |
| primReprHandler | Language.Fortran.Model.Repr.Prim |
| PrimReprHandlers | |
| 1 (Type/Class) | Language.Fortran.Model.Repr.Prim |
| 2 (Data Constructor) | Language.Fortran.Model.Repr.Prim |
| primReprHandlers | Language.Fortran.Model.Repr.Prim |
| PrimReprOption | Camfort.Specification.Hoare |
| PrimReprSpec | |
| 1 (Type/Class) | Language.Fortran.Model.Repr.Prim |
| 2 (Data Constructor) | Language.Fortran.Model.Repr.Prim |
| PrimS | |
| 1 (Type/Class) | Language.Fortran.Model.Types, Language.Fortran.Model |
| 2 (Data Constructor) | Language.Fortran.Model.Types, Language.Fortran.Model |
| primSBVKind | Language.Fortran.Model.Repr.Prim |
| PrimSpec | Camfort.Specification.Hoare.Syntax |
| primSymbolic | Language.Fortran.Model.Repr.Prim |
| Product | Camfort.Specification.Stencils.Syntax |
| ProgramFile | Camfort.Input |
| PROIdealized | Camfort.Specification.Hoare |
| PROPrecise | Camfort.Specification.Hoare |
| prop_composition | Camfort.Specification.Units.BackendTypes |
| proveEqSize | Camfort.Helpers.Vec |
| provenance | Camfort.Specification.Units.InferenceBackend |
| proveNonEmpty | Camfort.Helpers.Vec |
| Proxy | |
| 1 (Data Constructor) | Camfort.Specification.Units.Environment |
| 2 (Type/Class) | Camfort.Specification.Units.Environment |
| prsBool16Repr | Language.Fortran.Model.Repr.Prim |
| prsBool32Repr | Language.Fortran.Model.Repr.Prim |
| prsBool64Repr | Language.Fortran.Model.Repr.Prim |
| prsBool8Repr | Language.Fortran.Model.Repr.Prim |
| prsDoubleRepr | Language.Fortran.Model.Repr.Prim |
| prsFloatRepr | Language.Fortran.Model.Repr.Prim |
| prsIdealized | Language.Fortran.Model.Repr.Prim |
| prsInt16Repr | Language.Fortran.Model.Repr.Prim |
| prsInt32Repr | Language.Fortran.Model.Repr.Prim |
| prsInt64Repr | Language.Fortran.Model.Repr.Prim |
| prsInt8Repr | Language.Fortran.Model.Repr.Prim |
| prsPrecise | Language.Fortran.Model.Repr.Prim |
| prsWithArbitraryInts | Language.Fortran.Model.Repr.Prim |
| prsWithArbitraryReals | Language.Fortran.Model.Repr.Prim |
| puName | Camfort.Specification.Units.Analysis |
| PureAnalysis | Camfort.Analysis |
| puSrcName | Camfort.Specification.Units.Analysis |
| putDescribeReport | Camfort.Analysis |
| readConstr | Camfort.Specification.Units.Environment |
| readParseSrcDir | Camfort.Analysis.ModFile, Camfort.Input |
| readParseSrcDirP | Camfort.Analysis.ModFile |
| readParseSrcFile | Camfort.Analysis.ModFile |
| RealRepr | Language.Fortran.Model.Repr.Prim |
| Record | |
| 1 (Type/Class) | Language.Fortran.Model.Types, Language.Fortran.Model |
| 2 (Data Constructor) | Language.Fortran.Model.Types, Language.Fortran.Model |
| recordLogMessage | Camfort.Analysis.Logger |
| refactor | Camfort.Specification.DerivedDataType |
| refactored | Camfort.Analysis.Annotations |
| refactorEquivalences | Camfort.Transformation.EquivalenceElim |
| refactoring | Camfort.Output |
| refining | Camfort.Specification.Hoare.Syntax |
| 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 |
| reprint | Camfort.Reprint |
| reqRegions | Camfort.Specification.Stencils.Parser.Types |
| rnfTyCon | Camfort.Specification.Units.Environment |
| rnfTypeRep | Camfort.Specification.Units.Environment |
| rref | |
| 1 (Function) | Camfort.Specification.Units.InferenceBackendFlint |
| 2 (Function) | Camfort.Specification.Units.InferenceBackend |
| runAnalysisT | Camfort.Analysis |
| runCompileUnits | Camfort.Specification.Units.ModFile |
| runInference | Camfort.Specification.Units.Analysis |
| runLoggerT | Camfort.Analysis.Logger |
| runMultiFileAnalysis | Camfort.Input |
| runParser | Camfort.Specification.Parser |
| runPerFileAnalysisP | Camfort.Input |
| runStencilInferer | Camfort.Specification.Stencils.Generate |
| runSynthesis | Camfort.Specification.Units.Synthesis |
| runThen | Camfort.Input |
| runTranslateT | Language.Fortran.Model.Translate |
| runUnitAnalysis | Camfort.Specification.Units.Monad, Camfort.Specification.Units.Analysis |
| runUnitSolver | Camfort.Specification.Units.Monad |
| S | Camfort.Helpers.Vec |
| SA | Camfort.Specification.Stencils.Annotation |
| SBasicType | Language.Fortran.Model.Singletons |
| sBasicTypeMax | Language.Fortran.Model.Singletons |
| SBTChar | Language.Fortran.Model.Singletons |
| SBTInt | Language.Fortran.Model.Singletons |
| SBTLogical | Language.Fortran.Model.Singletons |
| SBTReal | Language.Fortran.Model.Singletons |
| selectKind | Language.Fortran.Model.Translate |
| setConstraint | Camfort.Specification.Units.Annotation |
| setDefaultSourceFile | Camfort.Analysis.Logger |
| setLinearity | Camfort.Specification.Stencils.Syntax |
| SetOfIntegers | Camfort.Specification.Stencils.Model |
| setUnitInfo | Camfort.Specification.Units.Annotation |
| shiftTerms | Camfort.Specification.Units.InferenceBackend |
| Show' | Camfort.Output |
| show' | Camfort.Output |
| showConstr | Camfort.Specification.Units.Environment |
| showsTypeRep | Camfort.Specification.Units.Environment |
| simpleCompiler | Camfort.Analysis.ModFile |
| simplifyUnits | Camfort.Specification.Units.Environment |
| SLong | |
| 1 (Type/Class) | Camfort.Specification.Units.InferenceBackendFlint |
| 2 (Data Constructor) | Camfort.Specification.Units.InferenceBackendFlint |
| SodDecl | Camfort.Specification.Hoare.Syntax |
| SodSpec | Camfort.Specification.Hoare.Syntax |
| SOKDeref | Language.Fortran.Model.Singletons |
| SOKEq | Language.Fortran.Model.Singletons |
| SOKLit | Language.Fortran.Model.Singletons |
| SOKLogical | Language.Fortran.Model.Singletons |
| SOKLookup | Language.Fortran.Model.Singletons |
| SOKNum | Language.Fortran.Model.Singletons |
| SOKRel | Language.Fortran.Model.Singletons |
| SOKWriteArr | Language.Fortran.Model.Singletons |
| SOKWriteData | Language.Fortran.Model.Singletons |
| Some | |
| 1 (Type/Class) | Camfort.Helpers.TypeLevel, Language.Fortran.Model.Translate |
| 2 (Data Constructor) | Camfort.Helpers.TypeLevel, Language.Fortran.Model.Translate |
| SomeExpr | Language.Fortran.Model.Translate |
| SomeMessage | Camfort.Analysis.Logger |
| SomePair | |
| 1 (Type/Class) | Camfort.Helpers.TypeLevel |
| 2 (Data Constructor) | Camfort.Helpers.TypeLevel |
| SomeType | Language.Fortran.Model.Translate |
| SomeVar | Language.Fortran.Model.Translate |
| SOpKind | Language.Fortran.Model.Singletons |
| SortFn | Camfort.Specification.Units.Environment |
| SourceName | |
| 1 (Type/Class) | Language.Fortran.Model.Vars |
| 2 (Data Constructor) | Language.Fortran.Model.Vars |
| SourceText | Camfort.Helpers |
| SP128 | Language.Fortran.Model.Singletons |
| SP16 | Language.Fortran.Model.Singletons |
| SP32 | Language.Fortran.Model.Singletons |
| SP64 | Language.Fortran.Model.Singletons |
| SP8 | Language.Fortran.Model.Singletons |
| 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 |
| specFormula | Camfort.Specification.Hoare.Syntax |
| Specification | |
| 1 (Type/Class) | Camfort.Specification.Hoare.Syntax |
| 2 (Data Constructor) | Camfort.Specification.Hoare.Syntax |
| 3 (Type/Class) | Camfort.Specification.Stencils.Syntax |
| 4 (Data Constructor) | Camfort.Specification.Stencils.Syntax |
| 5 (Type/Class) | Camfort.Specification.Stencils.Parser.Types |
| SpecInner | |
| 1 (Type/Class) | Camfort.Specification.Stencils.Parser.Types |
| 2 (Data Constructor) | Camfort.Specification.Stencils.Parser.Types |
| SpecInvariant | Camfort.Specification.Hoare.Syntax |
| SpecKind | Camfort.Specification.Hoare.Syntax |
| SpecOrDecl | Camfort.Specification.Hoare.Syntax |
| SpecParseError | |
| 1 (Type/Class) | Camfort.Specification.Parser |
| 2 (Type/Class) | Camfort.Specification.Stencils.Parser |
| SpecParser | Camfort.Specification.Parser |
| specParser | Camfort.Specification.Stencils.Parser |
| SpecPost | Camfort.Specification.Hoare.Syntax |
| SpecPre | Camfort.Specification.Hoare.Syntax |
| SpecSeq | Camfort.Specification.Hoare.Syntax |
| specType | Camfort.Specification.Hoare.Syntax |
| splitNormHNF | Camfort.Specification.Units.InferenceBackend |
| splitTyConApp | Camfort.Specification.Units.Environment |
| SPrecision | Language.Fortran.Model.Singletons |
| sPrecMax | Language.Fortran.Model.Singletons |
| Standard | Camfort.Specification.Stencils.Model |
| StencilAnnotation | Camfort.Specification.Stencils.Annotation |
| stencilChecking | Camfort.Specification.Stencils.CheckFrontend |
| stencilInference | Camfort.Specification.Stencils.InferenceFrontend |
| StencilsAnalysis | Camfort.Specification.Stencils.Analysis |
| stencilsCheck | Camfort.Functionality |
| stencilsInfer | Camfort.Functionality |
| StencilsReport | |
| 1 (Type/Class) | Camfort.Specification.Stencils.InferenceFrontend |
| 2 (Data Constructor) | Camfort.Specification.Stencils.InferenceFrontend |
| stencilsSynth | Camfort.Functionality |
| stencilSynthesis | Camfort.Specification.Stencils.InferenceFrontend |
| Sub | Camfort.Specification.Units.BackendTypes |
| subFromList | Camfort.Specification.Units.BackendTypes |
| subtext | Camfort.Reprint |
| subToList | Camfort.Specification.Units.BackendTypes |
| Succ | Camfort.Helpers.Vec |
| successful | Camfort.Specification.DerivedDataType |
| Sum | Camfort.Specification.Stencils.Syntax |
| synth | |
| 1 (Function) | Camfort.Specification.DerivedDataType |
| 2 (Function) | 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 |
| TAnd | Camfort.Specification.Hoare.Parser.Types |
| TDColon | Camfort.Specification.Hoare.Parser.Types |
| TDeclAux | Camfort.Specification.Hoare.Parser.Types |
| teImplicitVars | Language.Fortran.Model.Translate |
| tellDescribe | Camfort.Analysis.Logger |
| TemplateMap | Camfort.Specification.Units.MonadTypes, Camfort.Specification.Units.Monad |
| TEquiv | Camfort.Specification.Hoare.Parser.Types |
| teSemantics | Language.Fortran.Model.Translate |
| teVarsInScope | Language.Fortran.Model.Translate |
| Text | Camfort.Analysis.Logger |
| TFalse | Camfort.Specification.Hoare.Parser.Types |
| tiAttributes | Language.Fortran.Model.Translate |
| tiBaseType | Language.Fortran.Model.Translate |
| tiDeclaratorLength | Language.Fortran.Model.Translate |
| tiDimensionDeclarators | Language.Fortran.Model.Translate |
| TImpl | Camfort.Specification.Hoare.Parser.Types |
| TInvariant | Camfort.Specification.Hoare.Parser.Types |
| tiSelectorKind | Language.Fortran.Model.Translate |
| tiSelectorLength | Language.Fortran.Model.Translate |
| tiSrcSpan | Language.Fortran.Model.Translate |
| TLParen | Camfort.Specification.Hoare.Parser.Types |
| TName | Camfort.Specification.Hoare.Parser.Types |
| TNot | Camfort.Specification.Hoare.Parser.Types |
| toCol0 | Camfort.Helpers.Syntax |
| toConstr | Camfort.Specification.Units.Environment |
| Token | Camfort.Specification.Hoare.Parser.Types |
| toList | Camfort.Helpers.Vec |
| TOr | Camfort.Specification.Hoare.Parser.Types |
| toUnitInfo | Camfort.Specification.Units.Environment |
| TPost | Camfort.Specification.Hoare.Parser.Types |
| TPre | Camfort.Specification.Hoare.Parser.Types |
| TQuoted | Camfort.Specification.Hoare.Parser.Types |
| translateBoolExpression | Camfort.Specification.Hoare.Translate |
| translateCoerceExpression | Language.Fortran.Model.Translate |
| TranslateEnv | |
| 1 (Type/Class) | Language.Fortran.Model.Translate |
| 2 (Data Constructor) | Language.Fortran.Model.Translate |
| TranslateError | Language.Fortran.Model.Translate |
| TranslateErrorAnn | Camfort.Specification.Hoare.CheckBackend |
| TranslateErrorSrc | Camfort.Specification.Hoare.CheckBackend |
| translateExpression | Language.Fortran.Model.Translate |
| translateExpression' | Language.Fortran.Model.Translate |
| translateFormula | Camfort.Specification.Hoare.Translate |
| TranslateT | |
| 1 (Type/Class) | Language.Fortran.Model.Translate |
| 2 (Data Constructor) | Language.Fortran.Model.Translate |
| translateTypeInfo | Language.Fortran.Model.Translate |
| traverseField' | Language.Fortran.Model.Types, Language.Fortran.Model |
| traversePairOf | Camfort.Helpers.TypeLevel |
| traverseSome | Camfort.Helpers.TypeLevel |
| TRParen | Camfort.Specification.Hoare.Parser.Types |
| TSeq | Camfort.Specification.Hoare.Parser.Types |
| TStaticAssert | Camfort.Specification.Hoare.Parser.Types |
| TTrue | Camfort.Specification.Hoare.Parser.Types |
| 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 |
| tyconUQname | Camfort.Specification.Units.Environment |
| Typeable | Camfort.Specification.Units.Environment |
| TypeInfo | Language.Fortran.Model.Translate |
| typeInfo | Language.Fortran.Model.Translate |
| 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.Specification.Units.Annotation, Camfort.Specification.Units.Monad |
| UnexpectedBlock | Camfort.Specification.Hoare.CheckBackend |
| UnexpectedInput | Camfort.Specification.Hoare.Parser.Types |
| unfCompare | Camfort.Specification.Stencils.Model |
| unFMPZ | Camfort.Specification.Units.InferenceBackendFlint |
| 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 |
| unSLong | Camfort.Specification.Units.InferenceBackendFlint |
| 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 |
| Var | Camfort.Specification.Stencils.Parser.Types |
| Variable | Camfort.Specification.Stencils.Syntax |
| VarUnitMap | Camfort.Specification.Units.MonadTypes, 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 |
| VerifierError | Camfort.Specification.Hoare.CheckBackend |
| VL | Camfort.Helpers.Vec |
| VV | Camfort.Specification.Units.Environment, Camfort.Specification.Units.Monad |
| with | Language.Fortran.Model.Util |
| withBlankMatrix | Camfort.Specification.Units.InferenceBackendFlint |
| withCombinedEnvironment | Camfort.Analysis.ModFile |
| withCombinedModuleMap | Camfort.Analysis.ModFile |
| withMatrix | Camfort.Specification.Units.InferenceBackendFlint |
| withWindow | Camfort.Specification.Units.InferenceBackendFlint |
| WrongAssignmentType | Camfort.Specification.Hoare.CheckBackend |
| Z | Camfort.Helpers.Vec |
| Zero | Camfort.Helpers.Vec |
| zip | Camfort.Helpers.Vec |
| zip3FieldsWith | Language.Fortran.Model.Types, Language.Fortran.Model |
| zipFieldsWith | Language.Fortran.Model.Types, Language.Fortran.Model |
| zipWith | Camfort.Helpers.Vec |
| _adName | Camfort.Specification.Hoare.Syntax |
| _adTy | Camfort.Specification.Hoare.Syntax |
| _apuAuxDecls | Camfort.Specification.Hoare.CheckBackend |
| _apuPostconditions | Camfort.Specification.Hoare.CheckBackend |
| _apuPreconditions | Camfort.Specification.Hoare.CheckBackend |
| _apuPU | Camfort.Specification.Hoare.CheckBackend |
| _ARFailure | Camfort.Analysis |
| _arMessages | Camfort.Analysis |
| _arResult | Camfort.Analysis |
| _arSourceFile | Camfort.Analysis |
| _ARSuccess | Camfort.Analysis |
| _fsCharacterKinds | Language.Fortran.Model.Translate |
| _fsDoublePrecisionKinds | Language.Fortran.Model.Translate |
| _fsIntegerKinds | Language.Fortran.Model.Translate |
| _fsLogicalKinds | Language.Fortran.Model.Translate |
| _fsRealKinds | Language.Fortran.Model.Translate |
| _hoarePrevAnnotation | Camfort.Specification.Hoare.Annotation |
| _hoarePUName | Camfort.Specification.Hoare.Annotation |
| _hoareSod | Camfort.Specification.Hoare.Annotation |
| _lmMsg | Camfort.Analysis.Logger |
| _lmOrigin | Camfort.Analysis.Logger |
| _MsgDebug | Camfort.Analysis.Logger |
| _MsgError | Camfort.Analysis.Logger |
| _MsgInfo | Camfort.Analysis.Logger |
| _MsgWarn | Camfort.Analysis.Logger |
| _npSource | Language.Fortran.Model.Vars |
| _npUnique | Language.Fortran.Model.Vars |
| _oFile | Camfort.Analysis.Logger, Camfort.Analysis |
| _oSpan | Camfort.Analysis.Logger, Camfort.Analysis |
| _prhKind | Language.Fortran.Model.Repr.Prim |
| _prhLiteral | Language.Fortran.Model.Repr.Prim |
| _prhSymbolic | Language.Fortran.Model.Repr.Prim |
| _prsBool16Repr | Language.Fortran.Model.Repr.Prim |
| _prsBool32Repr | Language.Fortran.Model.Repr.Prim |
| _prsBool64Repr | Language.Fortran.Model.Repr.Prim |
| _prsBool8Repr | Language.Fortran.Model.Repr.Prim |
| _prsDoubleRepr | Language.Fortran.Model.Repr.Prim |
| _prsFloatRepr | Language.Fortran.Model.Repr.Prim |
| _prsInt16Repr | Language.Fortran.Model.Repr.Prim |
| _prsInt32Repr | Language.Fortran.Model.Repr.Prim |
| _prsInt64Repr | Language.Fortran.Model.Repr.Prim |
| _prsInt8Repr | Language.Fortran.Model.Repr.Prim |
| _SodDecl | Camfort.Specification.Hoare.Syntax |
| _SodSpec | Camfort.Specification.Hoare.Syntax |
| _specFormula | Camfort.Specification.Hoare.Syntax |
| _Specification | Camfort.Specification.Hoare.Syntax |
| _SpecInvariant | Camfort.Specification.Hoare.Syntax |
| _SpecPost | Camfort.Specification.Hoare.Syntax |
| _SpecPre | Camfort.Specification.Hoare.Syntax |
| _SpecSeq | Camfort.Specification.Hoare.Syntax |
| _specType | Camfort.Specification.Hoare.Syntax |
| _teImplicitVars | Language.Fortran.Model.Translate |
| _teSemantics | Language.Fortran.Model.Translate |
| _teVarsInScope | Language.Fortran.Model.Translate |