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