sig
  type ('v, 'e) t =
      Vertex of 'v * ('e * ('v, 'e) CCGraph.LazyTree.t) list Lazy.t
  val map_v :
    ('a -> 'b) -> ('a, 'e) CCGraph.LazyTree.t -> ('b, 'e) CCGraph.LazyTree.t
  val fold_v :
    ('acc -> 'v -> 'acc) -> 'acc -> ('v, 'a) CCGraph.LazyTree.t -> 'acc
end