Type Definition minitt::normal::NormalTelescope

type NormalTelescope<Name> = GenericTelescope<Name, NormalExpression<Name>>;

NRho in Mini-TT, normal form telescopes (contexts).