[−][src]Type Definition minitt::normal::NormalDeepClosure
type NormalDeepClosure = GenericCaseTree<NormalExpression>;
NSClos
in Mini-TT, normal form closures.
type NormalDeepClosure = GenericCaseTree<NormalExpression>;
NSClos
in Mini-TT, normal form closures.