[−][src]Type Definition minitt::normal::NormalNeutral
type NormalNeutral = GenericNeutral<NormalExpression>;
NNeut
in Mini-TT, normal form neutral values.
type NormalNeutral = GenericNeutral<NormalExpression>;
NNeut
in Mini-TT, normal form neutral values.