record_extension_part

record_extension_part ::= "with" record_definition 

[rule list]
This rule is called by

-> derived_type_definition