twee-0.1: An equational theorem prover

Index - F

falseTwee.Constraints
fcatTwee.Pretty, Twee.Base
FIFO 
1 (Type/Class)Twee.Queue
2 (Data Constructor)Twee.Queue
filterTwee.Index
find 
1 (Function)Twee.Label
2 (Function)Twee.Index
firstTwee.Pretty, Twee.Base
fixedArityTwee.Pretty, Twee.Base
flattenSubstTwee.Term, Twee.Base
floatTwee.Pretty, Twee.Base
foldSubstTwee.Term, Twee.Base
formAndTwee.Constraints
forMSubst_Twee.Term, Twee.Base
FormulaTwee.Constraints
freeze 
1 (Function)Twee.Index
2 (Function)Twee.Indexes
from 
1 (Function)Twee.Label
2 (Function)Twee
fromFunTwee.Term, Twee.Base
fromIntTwee.Term, Twee.Base
fromSymbolTwee.Term.Core
fromTermTwee.Constraints
fromTermListTwee.Term, Twee.Base
Frozen 
1 (Type/Class)Twee.Index
2 (Data Constructor)Twee.Index
fsepTwee.Pretty, Twee.Base
fullRenderTwee.Pretty, Twee.Base
Fun 
1 (Type/Class)Twee.Term.Core, Twee.Term, Twee.Base
2 (Data Constructor)Twee.Term.Core, Twee.Term, Twee.Base
fun 
1 (Function)Twee.Term, Twee.Base
2 (Function)Twee.Index
Function 
1 (Data Constructor)Twee.Base
2 (Type/Class)Twee.Base
FunOfTwee.Base
funs 
1 (Function)Twee.Constraints
2 (Function)Twee.Base