[−][src]Type Definition minitt::normal::NormalTelescope
type NormalTelescope = Rc<GenericTelescope<NormalExpression>>;
NRho
in Mini-TT, normal form telescopes (contexts).
type NormalTelescope = Rc<GenericTelescope<NormalExpression>>;
NRho
in Mini-TT, normal form telescopes (contexts).