fact: Definition bprec_eq_status_symb f g := implb (prec_eq_bool prec_nat f g) (beq_status (status f) (status g)).
imports: CoLoR(LogicUtil ATerm VecUtil) CoLoR(term_spec EqUtil) CoLoR(NatUtil) Coq(List Relations) CoLoR(term SN ASubstitution) CoLoR(rpo rpo_extension) CoLoR(ARedPair ARelation RelUtil BoolUtil)