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.