Type Definition move_lang::expansion::ast::SpecConditionKind

pub type SpecConditionKind = Spanned<SpecConditionKind_>;