package grenier

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