Simplify_boxed_nativeint (p.ocaml-base-compiler.4.08.1.doc.ocamloptcomp.Simplify_boxed_integer_ops.Simplify_boxed

val simplify_unop : 
  Lambda.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 : 
  Lambda.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 : 
  Lambda.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