[][src]Type Definition minitt::syntax::Telescope

type Telescope<Name> = Rc<TelescopeRaw<Name>>;

Rho in Mini-TT, dependent context.