let
copy t =
{
heap =
Heap
.copy t.heap;
tbl =
Hashtbl
.copy t.tbl;
}