| 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 |