Type Definition CaseTree
minitt::syntax
type CaseTree = GenericCaseTree<Value>;
SClos in Mini-TT. Case tree.
SClos