[][src]Type Definition minitt::check::read_back::NormalNeutral

type NormalNeutral = GenericNeutral<NormalExpression>;

NNeut in Mini-TT, normal form neutral values.