Module Sets

module Sets: sig .. end

Sets of integers

module type T = sig .. end

Abstract signature for finite sets of natural numbers

module OList: T

sets as ordered lists

module Small: T

sets as integers (so that elements have to be really small)

module NarithInlined: T

sets as large integers, without Z

module AVL: T

sets as binary balanced trees (i.e., OCaml stdlib)

module Dup: functor (M1 : T) -> functor (M2 : T) -> T

duplicator, to check the consistency of one implementation w.r.t.