Module `Cduce_types__Ident.IdSet`

Sets of identifiers, implemented as sorted lists. This representation is used when structural equality of equal sets is needed.

module Elem : Custom.T with type t = Id.t

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