TP

ch

TermExpr

ch

TheoremProver

ch

TypeExpr

ch

t

AppE ConjunctE CurriedE DisjunctE MatchE NamedConjunctE ProjectE TermExpr UnitE VarE

term

DisjunctE MatchE ProjectE

terms

ConjunctE ConjunctT DisjunctT NamedConjunctE

testTypeImpl

Macros

toString

Sequent TermExpr

total

DisjunctE

typeParams

ConstructorT DisjunctT NamedConjunctT RecurseT TypeExpr