B2R2


IntervalMapElem<'a> Type

An element for our interval map.

Constructors

Constructor Description

IntervalMapElem(k, v)

Full Usage: IntervalMapElem(k, v)

Parameters:
Returns: IntervalMapElem<'a>
k : AddrRange
v : 'a
Returns: IntervalMapElem<'a>

Instance members

Instance member Description

this.Key

Full Usage: this.Key

Returns: AddrRange
Returns: AddrRange

this.Max

Full Usage: this.Max

Returns: Addr
Returns: Addr

this.Min

Full Usage: this.Min

Returns: Addr
Returns: Addr

this.Val

Full Usage: this.Val

Returns: 'a
Returns: 'a