Type Definition move_lang::parser::ast::SpecConditionKind

pub type SpecConditionKind = Spanned<SpecConditionKind_>;