Skip to main content

Module range

vstd_extra::resource

Module range 

Source
Expand description

Linear ownership of a contiguous finite range.

Structsยง

GhostSubRange
A [GhostSubset] whose elements are exactly one half-open range.