Module segment 

Spec/proof companion for crate::mm::frame::segment.

Structs

SegmentOwner

A SegmentOwner<M> holds the permission tokens for all frames in the Segment<M> for verification purposes.

Functions

frame_idx_at