Type Definition CaseTree
minitt::ast
type CaseTree = GenericBranch<Case>;
SClos in Mini-TT. Case tree.
SClos