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

For information on the symbols and conventions of Backus-Naur Form (BNF) syntax, see Appendix A.