Module move_model::spec_translator
source · Expand description
This module supports translations of specifications as found in the move-model to expressions which can be used in assumes/asserts in bytecode.
Structs
- A helper which reduces specification conditions to assume/assert statements.
- Represents a translated spec.