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) 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