Module PintTypes.IMap

module IMap: Map.S  with type key = int