Module `Named_rewrite.Prim_rewrite`

type t = private

| Remove_prim
| Invalid of Flambda2_kinds.Flambda_kind.t
| Replace_by_binding of {
1. var : Flambda2_identifiers.Variable.t;
2. bound_to : Flambda2_term_basics.Simple.t;
}

Rewrite for primitives

val print : 
  Stdlib.Format.formatter ->
  Flambda2_simplify.Named_rewrite.Prim_rewrite.t ->
  unit

val invalid : 
  Flambda2_kinds.Flambda_kind.t ->
  Flambda2_simplify.Named_rewrite.Prim_rewrite.t

Replace the primitive by the Invalid primitive.

val remove_prim : Flambda2_simplify.Named_rewrite.Prim_rewrite.t

Remove the primitve (and its binding)

val replace_by_binding : 
  var:Flambda2_identifiers.Variable.t ->
  bound_to:Flambda2_term_basics.Simple.t ->
  Flambda2_simplify.Named_rewrite.Prim_rewrite.t

Replace the primitive by the given Simple.t

Module Named_rewrite.Prim_rewrite

Module `Named_rewrite.Prim_rewrite`