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