jon.recoil.org

Module Flambda2_simplify.Named_rewrite

module Prim_rewrite : sig ... end
type t = private
  1. | Prim_rewrite of Prim_rewrite.t

Named rewrites. These apply at let_expr constructions.

val print : Format.formatter -> t -> unit
val prim_rewrite : Prim_rewrite.t -> t