let one_class e = let r = repr e in ElemTable.fold (fun e _ ls -> if Elem.equal r (repr e) then e::ls else ls ) table []