Invariant_params (ocaml.Invariant

val invariant_params_in_recursion : Flambda.function_declarations -> backend:(module Backend_intf.S) -> Variable.Set.t Variable.Map.t

val invariant_param_sources : Flambda.function_declarations -> backend:(module Backend_intf.S) -> Variable.Pair.Set.t Variable.Map.t

val unused_arguments : Flambda.function_declarations -> backend:(module Backend_intf.S) -> Variable.Set.t