package orsetto

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

This module contains the signature of an immutable set constructed from a binary search table of containing elements of the set. Distinguished instances are provided for tables of char and int type values.

module type Profile = sig ... end

The signature of set implementation modules.

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

module Create (R : Cf_relations.Order) : Profile with type search := R.t and type element := R.t and type Unsafe.index := int and type Unsafe.vector := R.t array

A simplified constructor for any total order.

module Of_char : Profile with type search := char and type element := char and type Unsafe.index := int and type Unsafe.vector := string

A distinguished instance for character sets.

module Of_int : sig ... end

A distinguished instance for integer sets.

module Of_string : sig ... end

A distinguished instance for string sets.