Debug_Info module

Line_Info_Sequence

structSource

One run of the line program. addresses[i] starts the source position mappings[i]; the last mapping has is_end set and closes the run.

Fields

addresses: [..] u64
mappings: [..] Line_Mapping

See also