Module SortedList.Make

Parameters

Signature

module Elem = X
include Custom.T with type t = Elem.t list
type t = Elem.t list
val dump : Stdlib.Format.formatter -> t -> unit
val check : t -> unit
val equal : t -> t -> bool
val hash : t -> int
val compare : t -> t -> int
val get : t -> Elem.t list
val singleton : Elem.t -> t
val iter : (Elem.t -> unit) -> t -> unit
val filter : (Elem.t -> bool) -> t -> t
val exists : (Elem.t -> bool) -> t -> bool
val fold : ('a -> Elem.t -> 'a) -> 'a -> t -> 'a
val pick : t -> Elem.t option
val choose : t -> Elem.t
val length : t -> int
val empty : t
val is_empty : t -> bool
val from_list : Elem.t list -> t
val add : Elem.t -> t -> t
val remove : Elem.t -> t -> t
val disjoint : t -> t -> bool
val cup : t -> t -> t
val split : t -> t -> t * t * t
val cap : t -> t -> t
val diff : t -> t -> t
val subset : t -> t -> bool
val map : (Elem.t -> Elem.t) -> t -> t
val mem : t -> Elem.t -> bool
module Map : sig ... end
module MakeMap : functor (Y : Custom.T) -> sig ... end