[][src]Type Definition nar::syntax::abs::ast::AbsCopat

type AbsCopat = Copat<UID, Abs>;

Patterns in the abstract syntax.