Type Definition AbsTele
nar::syntax::abs
type AbsTele = Vec<Bind>;
Telescopes in the abstract syntax.