type parameter = string * ptype * prec option
(** API parameter (argument name, type, optional precondition). *)
-type rtype = RVoid | Return of ptype
+type rtype = RVoid | RStaticString | Return of ptype
(** API return type. A superset of {!ptype} because we allow the
- special value [RVoid] for functions that don't return any value. *)
+ some special return-only types. *)
type ftype = rtype * parameter list * parameter list
(** A function type. Return type, list of required parameters, list
of optional parameters. *)
-type c_code = string
+type c_code = {
+ cc_loc : Camlp4.PreCast.Loc.t;
+ cc_code : string;
+}
(** C code. *)
type entry_point = {