Module minitt::normal

Normal form: when we read back, we get a normal form expression.
Functions are basically put into impl blocks, their docs are not inside this module.

Enums

NormalExpression

NExp in Mini-TT, normal form.

Type Definitions

NormalDeepClosure	NSClos in Mini-TT.
NormalNeutral	NNeut in Mini-TT.
NormalTelescope	NRho in Mini-TT.