Module Interval.Int

module Int: S  with type bound = Int.t