[][src]Type Definition nar::syntax::abs::AbsTele

type AbsTele = Vec<Bind>;

Telescopes in the abstract syntax.