Previous  Up  Next

Module Tools.ISet

module ISet: Set.S  with type elt = int
Implementation of sets of integers.