Mangle (ppx_template.ppx_template.expander.Ppx_template

module Suffix : sig ... end

module Result : sig ... end

val t : (Suffix.t, Result.t) Ppxlib_jane.Ast_traverse.lift_map_with_context

We piggyback on Ast_traverse because it gives us a lot of AST traversal code for free. However, only the methods we currently need are implemented - if adding support for new kinds of bindings in Monomorphize, be sure to update Mangle.

An alternative implementation for this could be Suffix.t -> location Ast_traverse.map_with_context, with Suffix.t = string list, rather than string list loc as it secretly is now. That is, we don't modify the string list part of the suffix as we traverse. The location is updated as we traverse to the nearest enclosing location, to be used in error reporting.

However, passing the string list via map_with_context allows us to cheaply reuse a global singleton Mangle object for every identifier we need to mangle, calling pure functions, rather than creating a fresh object with many methods and potentially some closures each time.

val mangle : 
  'a Attributes.Context.mono ->
  'a ->
  Language.{Typed}3/shadowed/(99cb010fa16a484d826d3e9230c9f2d7).Expression.Basic.packed
    Ppxlib.Loc.t
    list
    Maybe_explicit.t
    Language.Typed.Axis.Map.t ->
  env:Language.Typed.Env.t ->
  'a

Apply name mangling to the item, using the given attribute expressions and environment.