type ftype = rtype * parameter list * parameter list
(** A function type. Return type, list of required parameters, list
of optional parameters. *)
type ftype = rtype * parameter list * parameter list
(** A function type. Return type, list of required parameters, list
of optional parameters. *)