| FalseTerm | Grisette.IR.SymPrim.Data.Prim.PartialEval.Bool, Grisette.Internal.IR.SymPrim |
| falseTerm | Grisette.IR.SymPrim.Data.Prim.PartialEval.Bool, Grisette.Internal.IR.SymPrim |
| FileLocation | |
| 1 (Type/Class) | Grisette.Core.Data.FileLocation, Grisette.Core, Grisette |
| 2 (Data Constructor) | Grisette.Core.Data.FileLocation, Grisette.Core, Grisette |
| findStringToSymbol | Grisette.Backend.SBV.Data.SMT.SymBiMap |
| Fresh | Grisette.Core.Data.Class.GenSym, Grisette.Core, Grisette |
| fresh | Grisette.Core.Data.Class.GenSym, Grisette.Core, Grisette |
| FreshIdent | |
| 1 (Type/Class) | Grisette.Core.Data.Class.GenSym, Grisette.Core, Grisette |
| 2 (Data Constructor) | Grisette.Core.Data.Class.GenSym, Grisette.Core, Grisette |
| FreshIdentWithInfo | Grisette.Core.Data.Class.GenSym, Grisette.Core, Grisette |
| FreshIndex | |
| 1 (Type/Class) | Grisette.Core.Data.Class.GenSym, Grisette.Core, Grisette |
| 2 (Data Constructor) | Grisette.Core.Data.Class.GenSym, Grisette.Core, Grisette |
| FreshT | Grisette.Core.Data.Class.GenSym, Grisette.Core, Grisette |
| fullReconstruct | Grisette.Core.Data.Union, Grisette.Internal.Core |
| FunArg | |
| 1 (Type/Class) | Grisette.IR.SymPrim.Data.Prim.InternedTerm.Term, Grisette.Internal.IR.SymPrim |
| 2 (Data Constructor) | Grisette.IR.SymPrim.Data.Prim.InternedTerm.Term, Grisette.Internal.IR.SymPrim |
| funcTable | Grisette.IR.SymPrim.Data.TabularFun, Grisette.IR.SymPrim, Grisette |
| Function | Grisette.Core.Data.Class.Function, Grisette.Core, Grisette |