Module `Reg_with_debug_info.Debug_info`

type t

val compare : 
  Reg_with_debug_info.Debug_info.t ->
  Reg_with_debug_info.Debug_info.t ->
  int

val equal : 
  Reg_with_debug_info.Debug_info.t ->
  Reg_with_debug_info.Debug_info.t ->
  bool

val holds_value_of : Reg_with_debug_info.Debug_info.t -> Backend_var.t

The identifier that the register holds (part of) the value of.

val part_of_value : Reg_with_debug_info.Debug_info.t -> int

val num_parts_of_value : Reg_with_debug_info.Debug_info.t -> int

val which_parameter : Reg_with_debug_info.Debug_info.t -> int option

If the register corresponds to a function parameter, the value returned is the zero-based index of said parameter; otherwise it is None.

val provenance : 
  Reg_with_debug_info.Debug_info.t ->
  Backend_var.Provenance.t option

val is_parameter : Reg_with_debug_info.Debug_info.t -> Is_parameter.t

Module Reg_with_debug_info.Debug_info