Type Definition minitt::syntax::DeepClosure

type DeepClosure<Name> = GenericDeepClosure<Name, Value<Name>>;

SClos in Mini-TT.
A closure that comes with a pattern, like the data type (sum) definition (all the constructors are pattern-like) or the function definition (it's built on top of a pattern tree)