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