Module Flambda2_simplify.Named_rewrite
module Prim_rewrite : sig ... endNamed rewrites. These apply at let_expr constructions.
val print : Format.formatter -> t -> unitval prim_rewrite : Prim_rewrite.t -> tFlambda2_simplify.Named_rewritemodule Prim_rewrite : sig ... endNamed rewrites. These apply at let_expr constructions.
val print : Format.formatter -> t -> unitval prim_rewrite : Prim_rewrite.t -> t