val primitive :
Clambda_primitives.primitive ->
(Variable.t list * Simple_value_approx.t list) ->
Flambda.named ->
Debuginfo.t ->
size_int:int ->
Flambda.named * Simple_value_approx.t * Inlining_cost.Benefit.tSimplifies an application of a primitive based on approximation information.