package camllib

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

Innovation. Community. Security.