OCaml Library Collection

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