Simplify_boxed_nativeint (ocaml.Simplify_boxed_integer_ops.Simplify_boxed

val simplify_unop : Clambda_primitives.primitive -> Nativeint.t Simple_value_approx.boxed_int -> Flambda.named -> Nativeint.t -> Flambda.named * Simple_value_approx.t * Inlining_cost.Benefit.t

val simplify_binop : Clambda_primitives.primitive -> Nativeint.t Simple_value_approx.boxed_int -> Flambda.named -> Nativeint.t -> Nativeint.t -> Flambda.named * Simple_value_approx.t * Inlining_cost.Benefit.t

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