Module SrkUtil.Int.Map

module Map: BatMap.Make(I)