Type Definition AbsCopat
nar::syntax::abs::ast
type AbsCopat = Copat<UID, Abs>;
Patterns in the abstract syntax.