Module lexical_region_resolve

Source
Expand description

Lexical region resolution.

Structsยง

LexicalRegionResolutions ๐Ÿ”’
Contains the result of lexical region resolution. Offers methods to lookup up the final value of a region variable.
LexicalResolver ๐Ÿ”’
RegionAndOrigin ๐Ÿ”’

Enumsยง

RegionResolutionError
VarValue ๐Ÿ”’

Functionsยง

resolve ๐Ÿ”’
This function performs lexical region resolution given a complete set of constraints and variable origins. It performs a fixed-point iteration to find region values which satisfy all constraints, assuming such values can be found. It returns the final values of all the variables as well as a set of errors that must be reported.

Type Aliasesยง

RegionGraph ๐Ÿ”’