blob: 565e979aaa298b17690220cbb1046b5e024a763f (
plain)
1
2
3
4
5
6
7
8
9
|
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
|