Type Definition move_compiler::expansion::ast::SpecConditionKind

pub type SpecConditionKind = Spanned<SpecConditionKind_>;