Type Definition move_compiler::parser::ast::SpecConditionKind

pub type SpecConditionKind = Spanned<SpecConditionKind_>;