Module Reg_with_debug_info.Debug_info

type t
val compare : t -> t -> int
val holds_value_of : t -> Backend_var.t

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

val part_of_value : t -> int
val num_parts_of_value : t -> int
val which_parameter : 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 : t -> unit option