test-suite/misc/poly-capture-global-univs/src/evil.mlg


1
2
3
4
5
6
7
8
9
10

{
open Stdarg
open EvilImpl
}

DECLARE PLUGIN "evil_plugin"

VERNAC COMMAND EXTEND VernacEvil CLASSIFIED AS SIDEFF
| [ "Evil" ident(x) ident(y) ] -> { evil x y }
END