company logo

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