let clause_equal (clause1: clause) (clause2: clause) : bool = Tools.lists_unordered_equal literal_equal clause1 clause2