☰
Invariant
In move_ir_types::spec_language_ast
?
Type Definition
move_ir_types
::
spec_language_ast
::
Invariant
source
·
[
−
]
pub type Invariant =
Spanned
<
Invariant_
>;
Expand description
Invariant with span.