Module Rewriter.Make
Parameters
module X : sig ... endSignature
val rewrite :
Flambda2_types.typing_env ->
(Flambda2_identifiers.Symbol.t -> X.t) ->
Flambda2_types.typing_envval rewrite_env_extension_with_extra_variables :
Flambda2_types.Typing_env.t ->
((string * X.t) Flambda2_types.Rewriter.pattern
* Flambda2_kinds.Flambda_kind.t)
Flambda2_identifiers.Variable.Map.t ->
Flambda2_types.Typing_env_extension.With_extra_variables.t ->
Flambda2_types.Rewriter.Var.t list ->
Flambda2_identifiers.Variable.t Flambda2_types.Rewriter.Var.Map.t
* Flambda2_types.Typing_env_extension.With_extra_variables.t