package camllib

  1. Overview
  2. Docs
type (!'a, !'b) t = {
  1. compare : 'a -> 'a -> int;
  2. map : ('a, 'b) Mappe.t;
}
val is_empty : ('a, 'b) t -> bool
val empty : ('a -> 'a -> int) -> ('a, 'b) t
val add : 'a -> 'b -> ('a, 'b) t -> ('a, 'b) t
val find : 'a -> ('a, 'b) t -> 'b
val remove : 'a -> ('a, 'b) t -> ('a, 'b) t
val mem : 'a -> ('a, 'b) t -> bool
val addmap : ('a, 'b) t -> ('a, 'b) t -> ('a, 'b) t
val merge : ('b -> 'b -> 'b) -> ('a, 'b) t -> ('a, 'b) t -> ('a, 'b) t
val mergei : ('a -> 'b -> 'b -> 'b) -> ('a, 'b) t -> ('a, 'b) t -> ('a, 'b) t
val common : ('b -> 'c -> 'd) -> ('a, 'b) t -> ('a, 'c) t -> ('a, 'd) t
val commoni : ('a -> 'b -> 'c -> 'd) -> ('a, 'b) t -> ('a, 'c) t -> ('a, 'd) t
val combine : ('a -> 'b option -> 'c option -> 'd option) -> ('a, 'b) t -> ('a, 'c) t -> ('a, 'd) t
val interset : ('a, 'b) t -> 'a PSette.t -> ('a, 'b) t
val diffset : ('a, 'b) t -> 'a PSette.t -> ('a, 'b) t
val iter : ('a -> 'b -> unit) -> ('a, 'b) t -> unit
val map : ('b -> 'c) -> ('a, 'b) t -> ('a, 'c) t
val mapi : ('a -> 'b -> 'c) -> ('a, 'b) t -> ('a, 'c) t
val fold : ('a -> 'b -> 'c -> 'c) -> ('a, 'b) t -> 'c -> 'c
val maptoset : ('a, 'b) t -> 'a PSette.t
val mapofset : ('a -> 'b) -> 'a PSette.t -> ('a, 'b) t
val compare : ('b -> 'c -> int) -> ('a, 'b) t -> ('a, 'c) t -> int
val comparei : ('a -> 'b -> 'c -> int) -> ('a, 'b) t -> ('a, 'c) t -> int
val equal : ('b -> 'c -> bool) -> ('a, 'b) t -> ('a, 'c) t -> bool
val equali : ('a -> 'b -> 'c -> bool) -> ('a, 'b) t -> ('a, 'c) t -> bool
val subset : ('b -> 'c -> bool) -> ('a, 'b) t -> ('a, 'c) t -> bool
val subseti : ('a -> 'b -> 'c -> bool) -> ('a, 'b) t -> ('a, 'c) t -> bool
val filter : ('a -> 'b -> bool) -> ('a, 'b) t -> ('a, 'b) t
val partition : ('a -> 'b -> bool) -> ('a, 'b) t -> ('a, 'b) t * ('a, 'b) t
val cardinal : ('a, 'b) t -> int
val bindings : ('a, 'b) t -> ('a * 'b) list
val min_key : ('a, 'b) t -> 'a
val max_key : ('a, 'b) t -> 'a
val choose : ('a, 'b) t -> 'a * 'b
val print : ?first:(unit, Format.formatter, unit) Pervasives.format -> ?sep:(unit, Format.formatter, unit) Pervasives.format -> ?last:(unit, Format.formatter, unit) Pervasives.format -> ?firstbind:(unit, Format.formatter, unit) Pervasives.format -> ?sepbind:(unit, Format.formatter, unit) Pervasives.format -> ?lastbind:(unit, Format.formatter, unit) Pervasives.format -> (Format.formatter -> 'a -> unit) -> (Format.formatter -> 'b -> unit) -> Format.formatter -> ('a, 'b) t -> unit