Type Definition Telescope
minitt::ast
type Telescope = Rc<GenericTelescope<Value>>;
$\rho ::= \rho(v)$ Rho in Mini-TT, dependent context.
Rho