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 |