Type Definition move_ir_types::spec_language_ast::Condition
source · pub type Condition = Spanned<Condition_>;
Expand description
Specification directive with span.
pub type Condition = Spanned<Condition_>;
Specification directive with span.