Module Make.G

val trait_name : string
module P : sig ... end
val hack_params : ?loc:??? -> (Ppxlib.core_type * 'a) list -> string list * string list * (Stdlib.String.t -> string) * AstHelpers.type_arg list
class g : (Ppxlib.longident * Ppxlib.expression) list -> (bool * Ppxlib.type_declaration list) -> object ... end