Sets of integers
module type T =
Abstract signature for finite sets of natural numbers
sets as ordered lists
sets as integers (so that elements have to be really small)
sets as large integers, without Z
sets as binary balanced trees (i.e., OCaml stdlib)
duplicator, to check the consistency of one implementation w.r.t.