This module allows to declare extensions that do not produce a value of the context type. This is typically useful for extensions point that depends on more things from the context than the path and location.
type ('context, 'payload) tType 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) tval 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) tval convert : (_, 'a) t Ppxlib__.Import.list ‑> loc:Location.t ‑> Ppxlib__.Import.extension ‑> 'a Ppxlib__.Import.option