path: root/test-suite/misc/poly-capture-global-univs/src/evil.ml4

open Stdarg
open EvilImpl

DECLARE PLUGIN "evil_plugin"

VERNAC COMMAND FUNCTIONAL EXTEND VernacEvil CLASSIFIED AS SIDEFF
| [ "Evil" ident(x) ident(y) ] -> [ fun ~atts ~st -> evil x y; st ]
END