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