[−][src]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