Module Aux.IntMap

module IntMap: Map.S  with type key = int