Simplify_commonval const_int_expr :
Flambda.named ->
int ->
Flambda.named * Simple_value_approx.t * Inlining_cost.Benefit.tval const_char_expr :
Flambda.named ->
char ->
Flambda.named * Simple_value_approx.t * Inlining_cost.Benefit.tval const_bool_expr :
Flambda.named ->
bool ->
Flambda.named * Simple_value_approx.t * Inlining_cost.Benefit.tval const_float_expr :
Flambda.named ->
float ->
Flambda.named * Simple_value_approx.t * Inlining_cost.Benefit.tval const_boxed_int_expr :
Flambda.named ->
'a Simple_value_approx.boxed_int ->
'a ->
Flambda.named * Simple_value_approx.t * Inlining_cost.Benefit.tval const_integer_comparison_expr :
Flambda.named ->
Lambda.integer_comparison ->
'a ->
'a ->
Flambda.named * Simple_value_approx.t * Inlining_cost.Benefit.tval const_float_comparison_expr :
Flambda.named ->
Lambda.float_comparison ->
float ->
float ->
Flambda.named * Simple_value_approx.t * Inlining_cost.Benefit.t