module Lazy_tree: sig .. end
sig
end
type ('v, 'e) t = {
('v, 'e)
vertex : 'v;
'v
children : ('e * ('v, 'e) t) list Lazy.t;
('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