op_dcl

op_dcl 
      ::= [ op_attribute ] op_type_spec identifier parameter_dcls 
      [ raises_expr ] [ context_expr ] 

This rule is called by

-> export