G (GT.Stateful.Make.G)

val trait_name : string

module P : sig ... end

val hack_params : 
  ?loc:AstHelpers.loc ->
  (Ppxlib.core_type * 'a) list ->
  string list * string list * (String.t -> string) * AstHelpers.type_arg list

class g : (Ppxlib.longident * Ppxlib.expression) list -> (bool
                                                   * Ppxlib.type_declaration
                                                       list) -> object ... end

val create : P.plugin_constructor