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.