package orsetto

  1. Overview
  2. Docs
Legend:
Library
Module
Module type
Parameter
Class
Class type

The signature of set implementation modules.

type t

The abstract type of a set.

The type of a search key

type element

The type of a set element

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

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

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