Module Ppxlib__.Extension

declare name context pattern expander declares the extension names name for context.

expander is responsible for producing the code to replace the extension in the AST. It receives as argument:

• loc: the location of the enclosing node. For instance for expression it is the pexp_loc field
• path: the current module path

Same as declare except that the extension name takes an additional path argument. The path is the part of the name that start with a capitalized component. For instance in the following, the extension "map" would receive the path argument Foo.Bar:

      let%map.Foo.Bar x = 1 in
      ...

Inline the result of the expansion into its parent. Only works for these contexts:

• class_field
• class_type_field
• signature_item
• structure_item

Given a context and a list of extension expander, returns all the ones that are for this context.