Module GapiCore.AnnotatedTree

module AnnotatedTree: sig .. end

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