formal_modular_type_definition

formal_modular_type_definition ::= "mod" "<>" 

This rule is called by

-> formal_type_definition