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