Type Definition minitt::check::read_back::NormalCaseTree

type NormalCaseTree = GenericCaseTree<Either<NormalExpression, Expression>, NormalExpression>;

NSClos in Mini-TT, normal form closures.

TODO: consider replacing Expression