Previous  Up  Next

Module Aux.Ints

module Ints: Set.S  with type elt = int