Module Simplify_boxed_integer_ops.Simplify_boxed_nativeint

val simplify_unop : Clambda_primitives.primitive -> Stdlib.Nativeint.t Simple_value_approx.boxed_int -> Flambda.named -> Stdlib.Nativeint.t -> Flambda.named * Simple_value_approx.t * Inlining_cost.Benefit.t
val simplify_binop : Clambda_primitives.primitive -> Stdlib.Nativeint.t Simple_value_approx.boxed_int -> Flambda.named -> Stdlib.Nativeint.t -> Stdlib.Nativeint.t -> Flambda.named * Simple_value_approx.t * Inlining_cost.Benefit.t
val simplify_binop_int : Clambda_primitives.primitive -> Stdlib.Nativeint.t Simple_value_approx.boxed_int -> Flambda.named -> Stdlib.Nativeint.t -> int -> size_int:int -> Flambda.named * Simple_value_approx.t * Inlining_cost.Benefit.t