// This file defines the ImmutableIntervalMap class.
//
//===----------------------------------------------------------------------===//
// This file defines the ImmutableIntervalMap class.
//
//===----------------------------------------------------------------------===//