Simplify_boxed_integer_ops_intf.Sval simplify_unop : Clambda_primitives.primitive -> t Simple_value_approx.boxed_int -> Flambda.named -> t -> Flambda.named * Simple_value_approx.t * Inlining_cost.Benefit.tval simplify_binop : Clambda_primitives.primitive -> t Simple_value_approx.boxed_int -> Flambda.named -> t -> t -> Flambda.named * Simple_value_approx.t * Inlining_cost.Benefit.tval simplify_binop_int : Clambda_primitives.primitive -> t Simple_value_approx.boxed_int -> Flambda.named -> t -> int -> size_int:int -> Flambda.named * Simple_value_approx.t * Inlining_cost.Benefit.t