filterSignatures | Language.Haskell.FreeTheorems.ValidSyntax, Language.Haskell.FreeTheorems |
FixedTypeExpression | Language.Haskell.FreeTheorems.BasicSyntax, Language.Haskell.FreeTheorems.Syntax |
ForallFunctions | Language.Haskell.FreeTheorems.Theorems |
ForallPairs | Language.Haskell.FreeTheorems.Theorems |
ForallRelations | Language.Haskell.FreeTheorems.Theorems |
ForallVariables | Language.Haskell.FreeTheorems.Theorems |
Formula | Language.Haskell.FreeTheorems.Theorems |
FunAbs | Language.Haskell.FreeTheorems.Theorems |
functionNameStore1 | Language.Haskell.FreeTheorems.NameStores |
functionNameStore2 | Language.Haskell.FreeTheorems.NameStores |
FunVar | Language.Haskell.FreeTheorems.Theorems |