ProjectE

ch

premiseVars

Sequent

premises

Sequent

prettyPrint

TermExpr TypeExpr

prettyRename

TermExpr

produceAdditionalTerms

UniRuleLogic

propositions

TermExpr