Module Set.Create

A simplified constructor for any total order.

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 : R.t Seq.t -> t

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

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