Module move_ir_types::spec_language_ast
source · [−]Structs
An invariant over a resource.
A synthetic variable definition.
Enums
A specification directive to be verified
AST for the Move Prover specification language.
An expression in the specification language
A location that can store a value
Type Definitions
Specification directive with span.
Invariant with span.
Synthetic with span.