Module Coq.Lists.PolyListSyntax

Syntax for list concatenation

Require PolyList.

Infix RIGHTA 7 "^" app.


Index