| FalseTerm | Grisette.Internal.SymPrim.Prim.Internal.Term, Grisette.Internal.SymPrim.Prim.Term |
| falseTerm | Grisette.Internal.SymPrim.Prim.Internal.Term, Grisette.Internal.SymPrim.Prim.Term |
| findStringToSymbol | Grisette.Internal.Backend.SymBiMap |
| Fresh | Grisette.Internal.Core.Data.Class.GenSym, Grisette.Core, Grisette |
| fresh | Grisette.Internal.Core.Data.Class.GenSym, Grisette.Core, Grisette |
| freshConstrained | Grisette.Experimental.GenSymConstrained, Grisette.Experimental |
| FreshIndex | |
| 1 (Type/Class) | Grisette.Internal.Core.Data.Class.GenSym, Grisette.Core, Grisette |
| 2 (Data Constructor) | Grisette.Internal.Core.Data.Class.GenSym, Grisette.Core, Grisette |
| freshString | Grisette.Internal.Core.Data.Class.GenSym, Grisette.Core, Grisette |
| FreshT | |
| 1 (Type/Class) | Grisette.Internal.Core.Data.Class.GenSym, Grisette.Core, Grisette |
| 2 (Data Constructor) | Grisette.Internal.Core.Data.Class.GenSym, Grisette.Core, Grisette |
| fullReconstruct | Grisette.Internal.Core.Data.Union |
| funcTable | Grisette.Internal.SymPrim.TabularFun, Grisette.SymPrim, Grisette |
| Function | Grisette.Internal.Core.Data.Class.Function, Grisette.Core, Grisette |
| FunType | Grisette.Internal.Core.Data.Class.Function, Grisette.Core, Grisette, Grisette |