TP

ch

TermExpr

ch

TheoremProver

ch

TypeExpr

ch

tExpr

AppE ConjunctE CurriedE DisjunctE MatchE NamedConjunctE ProjectE TermExpr UnitE VarE

tParams

DisjunctT NamedConjunctT RecurseT

term

DisjunctE MatchE ProjectE

terms

ConjunctE ConjunctT DisjunctT NamedConjunctE

testTypeImpl

Macros

toString

Sequent TermExpr

total

DisjunctE

typeParams

DisjunctT NamedConjunctT RecurseT TypeExpr