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`