Module Hax_engine.Phase_transform_hax_lib_inline

This phase transforms nodes like:

hax_lib::inline({
  let _KIND = ...;
  ...
  let _KIND = ...;
  "payload"
})

into hax_lib::inline("payload'") where payload' is a string with all the binding names substituted.

Note: above `_KIND` can be `_expr`, `_pat` or `_constructor`.