Inconstant_idents
val inconstants_on_program :
compilation_unit:Compilation_unit.t ->
backend:(module Backend_intf.S) ->
Flambda.program ->
result
val variable : Variable.t -> result -> bool
val closure : Set_of_closures_id.t -> result -> bool