Type Definition CaseTree
minitt::ast
type CaseTree = GenericBranch<Case>;
$\lang S,\rho \rang$, SClos in Mini-TT. Case tree.
SClos