l0_check_state namespace

Classes

class CheckerState: Canonical checker state, lexical/liveness stacks, and diagnostic replay.
class LoopFlowCapture: Liveness states for loop-control exits from one loop body.
class StmtFlow: Reachability after checking a statement or block.

Tab / T to search, Esc to close

…

Search for symbols, directories, files, pages or modules. You can omit any prefix from the symbol or file path; adding a : or / suffix lists all members of given symbol or directory.

Use ↓ / ↑ to navigate through the list, Enter to go. Tab autocompletes common prefix, you can copy a link to the result using ⌘ L while ⌘ M produces a Markdown link.

Sorry, nothing was found.