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