Type Definition minitt::syntax::GenericDeepClosure

type GenericDeepClosure<Name, Value> = (Box<Branch<Name>>, Box<GenericTelescope<Name, Value>>);

Generic definition for two kinds of deep closures