Module Set.Create

Use Create(B) to make a set using disjoint intervals of a given binary searchable type.

Parameters

Signature

type t

The abstract type of a set.

val nil : t

A distinguished empty set.

val empty : t -> bool

Use empty u to test if u is an empty set.

val of_seq : B.t t Seq.t -> t

Use of_seq s to create a set from the unordered sequence of elements s.

val member : B.t -> t -> bool

Use member v u to test whether v is a member of u.

module Unsafe : sig ... end

Unsafe interfaces depend on the internal structure of sets.