smodule_definition

smodule_definition:=
namespaces | module sdeclname =? scompound
namespaces | open module sdeclname =? scompound
namespaces | namespace sdeclname =? scompound
namespaces | open namespace sdeclname =? scompound