fact: Record SCC_dec_hyps : Type := mkSCC_dec_hyps { hyp_A : Type; hyp_eq_dec : forall x y : hyp_A, {x=y} + {~x=y}; hyp_Dom : list hyp_A; hyp_R : relation hyp_A; hyp_restriction : is_restricted hyp_R hyp_Dom; hyp_nodup: nodup hyp_Dom; hyp_R_dec : forall x y, {hyp_R x y} + {~hyp_R x y} }.
imports: CoLoR(GDomainBij AdjMat RelSub ListExtras RelUtil LogicUtil BoundNat SCC ListNodup)