Tip.Types

data Head a

data Local a

data Global a

data Expr a

data Quant

data QuantInfo

data Case a

data Builtin

intBuiltin

litBuiltin

eqRelatedBuiltin

logicalBuiltin

data Lit

data Pattern a

data PolyType a

data Type a

data BuiltinType

data Function a

data Signature a

data Sort a

data Datatype a

data Constructor a

data Theory a

emptyTheory

joinTheories

data Formula a

data Info a

data Role

Other views of theories

data Decl a

theoryDecls

declsToTheory

declsPass

transformExpr

transformExprM

transformExprIn

transformExprInM

transformType

transformTypeInExpr

transformTypeInDecl