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