Type Definition move_ir_types::spec_language_ast::Invariant

source · 
pub type Invariant = Spanned<Invariant_>;
Expand description

Invariant with span.