Jacket
Search the docs
/
API
Tools
Playground
main
Debug_Info module
← Debug_Info
CodeView lines
get_line_number
get_line_number_end_delta
line_info_is_for_statement
On this page
See also
std
/
Debug_Info
/
get_line_number
get_line_number
procedure
Source
get_line_number
:: (info:
Codeview_Line_Info
) ->
u32
Parameters
info
:
Codeview_Line_Info
Returns
u32
See also
get_line_number_end_delta
line_info_is_for_statement
Jacket
Jacket