Type Definition move_ir_types::spec_language_ast::Invariant

pub type Invariant = Spanned<Invariant_>;

Invariant with span.