fact: Definition beq_dup_symb (f g : dup_symb) : bool := match f, g with | hd_symb f', hd_symb g' => beq_symb f' g' | int_symb f', int_symb g' => beq_symb f' g' | _, _ => false end.
imports: CoLoR(ATrs ListUtil VecUtil LogicUtil RelUtil SN)