Module Coq.Lists.PolyListSyntax

Syntax for list concatenation

Require PolyList.

Infix RIGHTA 7 "^" app.


Index
This page has been generated by coqdoc