Module Rewriter.Var
module Map :
Flambda2_algorithms.Container_types.Map
with type key = Flambda2_types.Rewriter.Var.tval create : unit -> Flambda2_types.Rewriter.Var.tRewriter.Varmodule Map :
Flambda2_algorithms.Container_types.Map
with type key = Flambda2_types.Rewriter.Var.tval create : unit -> Flambda2_types.Rewriter.Var.t