Module Cduce_types.Tset

The minimal interface for a set of values to be part of a type. All kinds (for instance the ℂDuce type Int Intervals) support at least these operations.

module type Tset_base = sig ... end

This module represent the basic signature for sets. It should not be used directly, see S.

module type S = sig ... end

The full signature of a set of value. It contains the basic operations as well as some infix operators.

module MakeInfix : functor (X : Tset_base) -> sig ... end

This is a convenience module to automatically generate infix operators from a module implementing the basic operations.