Camlp5Helpers.WC
type t = MLast.with_constr
val typ : loc:MLast.loc -> params:string list -> string -> MLast.ctyp -> MLast.with_constr