package camllib

  1. Overview
  2. Docs
type ('a, 'b) t
val mapx : ('a, 'b) t -> ('a, 'b) Mappe.t
val mapy : ('a, 'b) t -> ('b, 'a) Mappe.t
val empty : ('a, 'b) t
val add : 'a -> 'b -> ('a, 'b) t -> ('a, 'b) t
val y_of_x : 'a -> ('a, 'b) t -> 'b
val x_of_y : 'b -> ('a, 'b) t -> 'a
val remove : 'a -> ('a, 'b) t -> ('a, 'b) t
val memx : 'a -> ('a, 'b) t -> bool
val memy : 'b -> ('a, 'b) t -> bool
val merge : ('a, 'b) t -> ('a, 'b) t -> ('a, 'b) t
val common : ('a, 'b) t -> ('a, 'b) t -> ('a, 'b) t
val intersetx : ('a, 'b) t -> 'a Sette.t -> ('a, 'b) t
val intersety : ('a, 'b) t -> 'b Sette.t -> ('a, 'b) t
val diffsetx : ('a, 'b) t -> 'a Sette.t -> ('a, 'b) t
val diffsety : ('a, 'b) t -> 'b Sette.t -> ('a, 'b) t
val iter : ('a -> 'b -> unit) -> ('a, 'b) t -> unit
val fold : ('a -> 'b -> 'c -> 'c) -> ('a, 'b) t -> 'c -> 'c
val setx : ('a, 'b) t -> 'a Sette.t
val sety : ('a, 'b) t -> 'b Sette.t
val equalx : ('a, 'b) t -> ('a, 'b) t -> bool
val equaly : ('a, 'b) t -> ('a, 'b) t -> bool
val subsetx : ('a, 'b) t -> ('a, 'b) t -> bool
val subsety : ('a, 'b) t -> ('a, 'b) t -> bool
val cardinal : ('a, 'b) t -> int
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
module type Param = sig ... end
module type S = sig ... end
module Make (P : Param) : sig ... end