Module sway_ir::verify

source · [−]
Expand description

Code to validate the IR in a Context.

During creation, deserialization and optimization the IR should be verified to be in a consistent valid state, using the functions in this module.