P (p.GT.0.4.2.doc.compare.Compare.Make.P)

module Intf : sig ... end

type plugin_constructor =
  GTCommon.Plugin_intf.plugin_args ->
  (Base.bool * Ppxlib.type_declaration Base.list) ->
  (AstHelpers.loc,
    AstHelpers.Exp.t,
    AstHelpers.Typ.t,
    AstHelpers.type_arg,
    AstHelpers.Ctf.t,
    AstHelpers.Cf.t,
    AstHelpers.Str.t,
    AstHelpers.Sig.t)
    GTCommon.Plugin_intf.typ_g

val prepare_patt_match_poly : 
  loc:AstHelpers.loc ->
  AstHelpers.Exp.t ->
  Ppxlib.row_field_desc GTCommon.HelpersBase.List.t ->
  string GTCommon.HelpersBase.List.t option ->
  onrow:
    (Ppxlib.label Ppxlib.loc ->
      (string * Ppxlib.core_type) GTCommon.HelpersBase.List.t ->
      AstHelpers.Exp.t) ->
  onlabel:(string -> string -> AstHelpers.Exp.t) ->
  oninherit:
    (Ppxlib.core_type list -> Ppxlib.longident -> string -> AstHelpers.Exp.t) ->
  AstHelpers.Exp.t

class virtual generator : (Ppxlib.longident * Ppxlib.expression) GTCommon.HelpersBase.List.t -> (
  Base.bool
  * Ppxlib.type_declaration GTCommon.HelpersBase.List.t) -> object ... end

class virtual no_inherit_arg0 : (Ppxlib.longident * Ppxlib.expression) GTCommon.HelpersBase.List.t -> (
  Base.bool
  * Ppxlib.type_declaration GTCommon.HelpersBase.List.t) -> object ... end

class virtual with_inherited_attr : (Ppxlib.longident * Ppxlib.expression) GTCommon.HelpersBase.List.t -> (
  Base.bool
  * Ppxlib.type_declaration GTCommon.HelpersBase.List.t) -> object ... end

class virtual no_inherit_arg : (Ppxlib.longident * Ppxlib.expression) GTCommon.HelpersBase.List.t -> (
  Base.bool
  * Ppxlib.type_declaration GTCommon.HelpersBase.List.t) -> object ... end