obj
IMeasured<InterMonoid<Addr>>
An element for our interval set.
IntervalSetElem(interval)
AddrRange
IntervalSetElem
this.Max
Addr
this.Min
this.Val