Module Set.Create

Use Create(B) to create an instance of a set module.

Parameters

module T : Table.Basis

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 : T.Vector.element Seq.t -> t

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

val member : T.Search.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.