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