fact: Record Signature : Type := mkSignature { symbol :> Type; arity : symbol -> nat; beq_symb : symbol -> symbol -> bool; beq_symb_ok : forall x y, beq_symb x y = true <-> x = y }.
imports: CoLoR(EqUtil ListUtil LogicUtil)