Module `Available_ranges_vars.Range_info`

type t

val create : 
  Linear.fundecl ->
  Reg_with_debug_info.t ->
  start_insn:Linear.instruction ->
  (Backend_var.t * Available_ranges_vars.Range_info.t) option

val provenance : 
  Available_ranges_vars.Range_info.t ->
  Backend_var.Provenance.t option

val is_parameter : Available_ranges_vars.Range_info.t -> Is_parameter.t

val print : 
  Stdlib.Format.formatter ->
  Available_ranges_vars.Range_info.t ->
  unit

Module Available_ranges_vars.Range_info

Module `Available_ranges_vars.Range_info`