[][src]Type Definition minitt::syntax::CaseTree

type CaseTree = GenericCaseTree<Value>;

SClos in Mini-TT.
Case tree.