NamedConjunctE
ch
NamedConjunctT
ch
NonAtomicTypeExpr
ch
NothingT
ch
name
AtomicTypeExpr
BasicT
ConstructorT
ForwardRule
NothingT
RecurseT
TP
UnitT
VarE
newSequents
RuleResult
nonInvertibleRulesForSequent
LJT