Type Definition move_ir_types::spec_language_ast::Invariant

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

Invariant with span.