Library Coqdoc.binder

Link binders

Definition foo alpha beta := alpha + beta.