let
copy t =
{
vertexes =
Array
.copy t.vertexes;
values =
Hashtbl
.copy t.values;
}