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