let
elements t =
Hashtbl
.fold (
fun
abstract elt acc
->
(abstract, elt) :: acc) t.elts []