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

type Telescope = Rc<TelescopeRaw>;

Rho in Mini-TT, dependent context.