BINDING
   (parameter_type [, parameter_type ]...)
RETURN return_type
   [ implementation_clause ]
   using_function_clause
    [, (parameter_type [, parameter_type ]...)
RETURN return_type
       [ implementation_clause ]
       using_function_clause
    ]...