Module Extension.Expert

type ('context, 'payload) t

Type of declared expert extensions.

The 'context type parameter describes where the extension is expected and the 'payload one what its payload should contain.

val declare : Ppxlib__.Import.string -> 'context Context.t -> (Ppxlib__.Import.payload'a'b) Ast_pattern.t -> 'a -> ('context'b) t
val declare_with_path_arg : Ppxlib__.Import.string -> 'context Context.t -> (Ppxlib__.Import.payload'a'b) Ast_pattern.t -> (arg:Longident.t Loc.t Ppxlib__.Import.option -> 'a) -> ('context'b) t
val convert : (_'a) t Ppxlib__.Import.list -> loc:Location.t -> Ppxlib__.Import.extension -> 'a Ppxlib__.Import.option