Module SrkUtil.Int

module Int: sig .. end

module I: sig .. end

include I

module Set: sig .. end

module Map: BatMap.Make(I)