Type Definition minitt::ast::GenericCaseTree

type GenericCaseTree<ValueExpression, ValueInScope> = (Box<GenericBranch<ValueExpression>>, Box<Rc<GenericTelescope<ValueInScope>>>);

Generic definition for three kinds of case trees