Dvlab Open Wikidesign :== varactmodlist
varactmodlist :== ε | varactmod varactmodlist
varactmod :==
var varnamelist : vartype
| module modname : moddecllist endmodule
| stateset id : exp
moddecllist :==
vardecl moddecllist
| invariant moddecllist
| transition moddecllist
| stateless moddecllist
| statesetd moddecllist
| initsetd moddecllist
| <empty>;