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 []