package mlcuddidl

  1. Overview
  2. Docs
val add : 'a compare -> 'a t -> 'a -> unit
val find_or : 'a compare -> 'a t -> 'a -> (int -> int -> 'a) -> 'a
val merge : 'a compare -> 'a t -> 'a -> 'a
val merge_map : 'a compare -> 'a t -> 'a -> ('a -> 'a) -> 'a
val find : 'a compare -> 'a t -> 'a -> 'a
val find_shadow : 'a compare -> 'a t -> 'a -> ('a Weak.t -> int -> 'b) -> 'b -> 'b
val remove : 'a compare -> 'a t -> 'a -> unit
val mem : 'a compare -> 'a t -> 'a -> bool
val find_all : 'a compare -> 'a t -> 'a -> 'a list