Extension (ppxlib.Ppxlib.Extension)

type (!_, !_) equality =

| Eq : ('a, 'a) equality
| Ne : ('b, 'c) equality

module Context : sig ... end

type t

val declare : 
  string ->
  'context Context.t ->
  (Parsetree.payload, 'a, 'context) Ppxlib__.Ast_pattern0.t ->
  (loc:Astlib.Location.t -> path:string -> 'a) ->
  t

val declare_with_path_arg : 
  string ->
  'context Context.t ->
  (Parsetree.payload, 'a, 'context) Ppxlib__.Ast_pattern0.t ->
  (loc:Astlib.Location.t ->
    path:string ->
    arg:Astlib.Longident.t Ocaml_common.Location.loc option ->
    'a) ->
  t

val declare_inline : 
  string ->
  'context Context.t ->
  (Parsetree.payload, 'a, 'context list) Ppxlib__.Ast_pattern0.t ->
  (loc:Astlib.Location.t -> path:string -> 'a) ->
  t

val declare_inline_with_path_arg : 
  string ->
  'context Context.t ->
  (Parsetree.payload, 'a, 'context list) Ppxlib__.Ast_pattern0.t ->
  (loc:Astlib.Location.t ->
    path:string ->
    arg:Astlib.Longident.t Ocaml_common.Location.loc option ->
    'a) ->
  t

module For_context : sig ... end

val filter_by_context : 'a Context.t -> t list -> 'a For_context.t list

module Expert : sig ... end

val check_unused : Ppxlib__.Ast_traverse.iter

val collect_unhandled_extension_errors : 
  Ppxlib__.Location.Error.t list Ppxlib__.Ast_traverse.fold

module V2 : sig ... end

module V3 : sig ... end

val check_context_for_inline : func:string -> 'a Context.t -> unit

val __declare_ppx_import : 
  string ->
  (ctxt:Ppxlib__.Expansion_context.Extension.t ->
    Parsetree.type_declaration ->
    Parsetree.type_declaration) ->
  t