Module type Simplify_boxed_integer_ops_intf.S

type t
val simplify_unop : Clambda_primitives.primitive -> t Simple_value_approx.boxed_int -> Flambda.named -> t -> Flambda.named * Simple_value_approx.t * Inlining_cost.Benefit.t
val simplify_binop : Clambda_primitives.primitive -> t Simple_value_approx.boxed_int -> Flambda.named -> t -> t -> Flambda.named * Simple_value_approx.t * Inlining_cost.Benefit.t
val 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