Type Definition minitt::syntax::DeepClosure

type DeepClosure = GenericDeepClosure<Value>;

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)