Module uvls::core::util

This Module provides basic utility functions for the LSP and SMTSolver (mainly byte offsets und byte ranges)

Structs

• CancelledError 🔒
• ParseConstants
• TS

Functions

• byte_offset
• char_offset
• containing_blk
• create_new_uvl
• header_kind
• is_config
• lsp_position
• lsp_range
• maybe_cancel
• node_range
• node_source

Type Aliases

• Result