sig type clause = Term.clause exception EMPTY_CLAUSE of Preprocessing_equality.clause val simplify : print:bool -> Preprocessing_equality.clause list -> Preprocessing_equality.clause list end