Note:

You are viewing a development version of the library. Goto the latest version.

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