Type Definition Telescope
minitt::syntax
type Telescope = Rc<TelescopeRaw>;
Rho in Mini-TT, dependent context.
Rho