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