Index - F
| Fact | |
| 1 (Type/Class) | Theory.Model.Fact, Theory.Model, Theory |
| 2 (Data Constructor) | Theory.Model.Fact, Theory.Model, Theory |
| factArity | Theory.Model.Fact, Theory.Model, Theory |
| factMultiplicity | Theory.Model.Fact, Theory.Model, Theory |
| FactTag | Theory.Model.Fact, Theory.Model, Theory |
| factTag | Theory.Model.Fact, Theory.Model, Theory |
| factTagArity | Theory.Model.Fact, Theory.Model, Theory |
| factTagMultiplicity | Theory.Model.Fact, Theory.Model, Theory |
| factTagName | Theory.Model.Fact, Theory.Model, Theory |
| factTerms | Theory.Model.Fact, Theory.Model, Theory |
| falseEqConstrConj | Theory.Tools.EquationStore, Theory.Constraint.System, Theory.Constraint.Solver, Theory.Proof, Theory |
| FApp | Theory.Model, Theory |
| fApp | Theory.Model, Theory |
| fAppAC | Theory.Model, Theory |
| FAppC | Theory.Model, Theory |
| fAppC | Theory.Model, Theory |
| fAppEMap | Theory.Model, Theory |
| fAppExp | Theory.Model, Theory |
| fAppFst | Theory.Model, Theory |
| fAppInv | Theory.Model, Theory |
| fAppList | Theory.Model, Theory |
| FAppNoEq | Theory.Model, Theory |
| fAppNoEq | Theory.Model, Theory |
| fAppOne | Theory.Model, Theory |
| fAppPair | Theory.Model, Theory |
| fAppPMult | Theory.Model, Theory |
| fAppSnd | Theory.Model, Theory |
| fcat | Theory.Text.Pretty |
| FEMap | Theory.Model, Theory |
| FExp | Theory.Model, Theory |
| FInv | Theory.Model, Theory |
| fixedWidthText | Theory.Text.Pretty |
| flattenMatch | Theory.Model, Theory |
| FList | Theory.Model, Theory |
| float | Theory.Text.Pretty |
| fmapTerm | Theory.Model, Theory |
| FMult | Theory.Model, Theory |
| focus | Theory.Proof, Theory |
| foldBVar | Theory.Model, Theory |
| foldFormula | Theory.Model.Formula, Theory.Model, Theory |
| foldFrees | Theory.Model, Theory |
| foldFreesOcc | Theory.Model, Theory |
| foldProof | Theory.Proof, Theory |
| forall | Theory.Model.Formula, Theory.Model, Theory |
| ForbiddenBP | Theory.Constraint.Solver.Contradictions |
| ForbiddenExp | Theory.Constraint.Solver.Contradictions |
| ForbiddenKD | Theory.Constraint.Solver.Contradictions |
| formalComment | Theory.Text.Parser.Token |
| Formula | Theory.Model.Formula, Theory.Model, Theory |
| FormulasFalse | Theory.Constraint.Solver.Contradictions |
| formulaToGuarded | Theory.Constraint.System.Guarded, Theory.Constraint.System.Constraints, Theory.Constraint.System, Theory.Constraint.Solver, Theory.Proof, Theory |
| formulaToGuarded_ | Theory.Constraint.System.Guarded, Theory.Constraint.System.Constraints, Theory.Constraint.System, Theory.Constraint.Solver, Theory.Proof, Theory |
| formulaToSystem | Theory.Constraint.System, Theory.Constraint.Solver, Theory.Proof, Theory |
| FPair | Theory.Model, Theory |
| FPMult | Theory.Model, Theory |
| Free | Theory.Model, Theory |
| frees | Theory.Model, Theory |
| freesList | Theory.Model, Theory |
| freeToFreshRaw | Theory.Model, Theory |
| FreshConstrRule | Theory.Model.Rule, Theory.Model, Theory |
| FreshFact | Theory.Model.Fact, Theory.Model, Theory |
| freshFact | Theory.Model.Fact, Theory.Model, Theory |
| freshLVar | Theory.Model, Theory |
| FreshName | Theory.Model, Theory |
| freshName | Theory.Text.Parser.Token |
| FreshRule | Theory.Model.Rule, Theory.Model, Theory |
| freshTerm | Theory.Model, Theory |
| freshToFree | Theory.Model, Theory |
| freshToFreeAvoiding | Theory.Model, Theory |
| freshToFreeAvoidingFast | Theory.Model, Theory |
| fromFree | Theory.Model, Theory |
| fsep | Theory.Text.Pretty |
| fsepList | Theory.Text.Pretty |
| FullBoringNodes | Theory.Constraint.System.Dot |
| FUnion | Theory.Model, Theory |
| FunSig | Theory.Model, Theory |
| FunSym | Theory.Model, Theory |
| funSyms | Theory.Model, Theory |