Debug_Info module

get_line_mapping_for_address

procedure · 1 overloadSource
get_line_mapping_for_address :: (
    info: Line_Info,
    address: u64
) -> (Line_Mapping, success: bool)

Parameters

info: Line_Info
address: u64

Returns

success: bool

See also