AvlTree

#

type +'a tree

#

val empty : 'a tree

#

val is_empty : 'a tree -> bool

#

val make_tree : 'a tree -> 'a -> 'a tree -> 'a tree

#

val height : 'a tree -> int

#

val left_branch : 'a tree -> 'a tree

#

val right_branch : 'a tree -> 'a tree

#

val root : 'a tree -> 'a

#

val singleton_tree : 'a -> 'a tree

#

val split_leftmost : 'a tree -> 'a * 'a tree

#

val split_rightmost : 'a tree -> 'a * 'a tree

#

val concat : 'a tree -> 'a tree -> 'a tree

#

val iter : ('a -> unit) -> 'a tree -> unit

#

val fold : ('a -> 'b -> 'b) -> 'a tree -> 'b -> 'b

module AvlTree