Module element

Keywords: module

A module element is a module definition, which might be preceded by a block introduction.

Definition:

mod_element := [block_intro(*)] mod_definition