package grenier

  1. Overview
  2. Docs
package grenier
Legend:
Library
Module
Module type
Parameter
Class
Class type
type (!+'a, !+'b) t = private
  1. | Leaf
  2. | Node of int * ('a, 'b) t * 'a * 'b * ('a, 'b) t
val leaf : ('a, 'b) t
val node : ('a, 'b) t -> 'a -> 'b -> ('a, 'b) t -> ('a, 'b) t
val size : ('a, 'b) t -> int
val join : ('a, 'b) t -> ('a, 'b) t -> ('a, 'b) t
val rank : int -> ('a, 'b) t -> 'a * 'b