grenier

Collection of algorithms (HyperLogLog, order maintenance, ...)
IN THIS PACKAGE
Module Order_indir
type t
val root : unit -> t
val after : t -> t
val before : t -> t
val same_order : t -> t -> bool
val compare : t -> t -> int
val cardinal : t -> int
val forget : t -> unit
val is_valid : t -> bool
val unsafe_check : t -> string -> unit