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

type Telescope = Rc<TelescopeRaw>;

Rho in Mini-TT, dependent context.