Module Available_ranges_vars.Range_info
val create :
Linear.fundecl ->
Reg_with_debug_info.t ->
start_insn:Linear.instruction ->
(Backend_var.t * t) optionval provenance : t -> Backend_var.Provenance.t optionval is_parameter : t -> Is_parameter.tval print : Format.formatter -> t -> unit