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