Type Definition minitt::normal::NormalTelescope

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

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