val info : t -> S.Subrange_info.t
The caller's information about the subrange.
val start_pos : t -> Linearize.label
The label at the start of the range.
val start_pos_offset : t -> int
How many bytes from the label at
start_pos
the range actually commences. If this value is zero, then the first byte of the range has the address of the label given bystart_pos
.
val end_pos : t -> Linearize.label
The label at the end of the range.
val end_pos_offset : t -> int
Like
start_pos_offset
, but analogously for the end of the range. (The sense is not inverted; a positiveend_pos_offset
means the range ends at an address higher than the address of theend_pos
, just like a positivestart_pos_offset
means the range starts at an address higher than thestart_pos
.