Module Set.MakeSource

Parameters

module Ord : Stdlib.Map.OrderedType

Signature

type elt = Ord.t
type t
Sourcemodule Legacy : Stdlib.Set.S with type elt = elt and type t = t
val empty : t
val is_empty : t -> bool
val mem : elt -> t -> bool
val add : elt -> t -> t
val singleton : elt -> t
val remove : elt -> t -> t
val union : t -> t -> t
val inter : t -> t -> t
val disjoint : t -> t -> bool
val diff : t -> t -> t
val compare : t -> t -> int
val equal : t -> t -> bool
val subset : t -> t -> bool
val iter : (elt -> unit) -> t -> unit
Sourceval iter_e : (elt -> (unit, 'trace) Stdlib.result) -> t -> (unit, 'trace) Stdlib.result
Sourceval iter_s : (elt -> unit Lwt.t) -> t -> unit Lwt.t
Sourceval iter_p : (elt -> unit Lwt.t) -> t -> unit Lwt.t
Sourceval iter_es : (elt -> (unit, 'trace) Stdlib.result Lwt.t) -> t -> (unit, 'trace) Stdlib.result Lwt.t
Sourceval iter_ep : (elt -> (unit, 'error) Stdlib.result Lwt.t) -> t -> (unit, 'error list) Stdlib.result Lwt.t
val map : (elt -> elt) -> t -> t
val fold : (elt -> 'a -> 'a) -> t -> 'a -> 'a
Sourceval fold_e : (elt -> 'a -> ('a, 'trace) Stdlib.result) -> t -> 'a -> ('a, 'trace) Stdlib.result
Sourceval fold_s : (elt -> 'a -> 'a Lwt.t) -> t -> 'a -> 'a Lwt.t
Sourceval fold_es : (elt -> 'a -> ('a, 'trace) Stdlib.result Lwt.t) -> t -> 'a -> ('a, 'trace) Stdlib.result Lwt.t
val for_all : (elt -> bool) -> t -> bool
val exists : (elt -> bool) -> t -> bool
val filter : (elt -> bool) -> t -> t
val partition : (elt -> bool) -> t -> t * t
val cardinal : t -> int
val elements : t -> elt list
Sourceval min_elt : t -> elt option
Sourceval max_elt : t -> elt option
Sourceval choose : t -> elt option
val split : elt -> t -> t * bool * t
Sourceval find : elt -> t -> elt option
Sourceval find_first : (elt -> bool) -> t -> elt option
Sourceval find_last : (elt -> bool) -> t -> elt option
val of_list : elt list -> t
val to_seq_from : elt -> t -> elt Stdlib.Seq.t
val to_seq : t -> elt Stdlib.Seq.t
val add_seq : elt Stdlib.Seq.t -> t -> t
val of_seq : elt Stdlib.Seq.t -> t