Module GapiCore.AnnotatedTree
type ('a, 'b) t =
| Leaf of 'a * 'b
| Node of 'a * ('a, 'b) t list
val map : ('a -> 'b) -> 'a list -> 'b list
val kfold :
('a -> (('b -> 'b) -> 'c) list -> ('a, 'd) t -> ('b -> 'b) -> 'c) ->
('a -> 'd -> ('a, 'd) t -> ('b -> 'b) -> 'c) ->
('a, 'd) t ->
'c
val xfold :
('a -> 'b list -> ('a, 'c) t -> 'b) ->
('a -> 'c -> ('a, 'c) t -> 'b) ->
('a, 'c) t ->
'b
val fold : ('a -> 'b list -> 'b) -> ('a -> 'c -> 'b) -> ('a, 'c) t -> 'b