[−][src]Type Definition minitt::syntax::GenericCaseTree

type GenericCaseTree<Value> = (Box<Branch>, Box<Rc<GenericTelescope<Value>>>);

Generic definition for two kinds of case trees