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:

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