Module Coq.Lists.PolyListSyntax
Syntax for list concatenation
Require
PolyList
.
Infix
RIGHTA 7 "^" app.
Index