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.