Skip to main content

Module segment

ostd::specs::mm::frame

Module segment 

Source
Expand description

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

Structs§

SegmentOwner

Functions§

frame_idx_at
seg_nframes
seg_obligations_minted
tracked_mint_seg_obligations
tracked_redeem_seg_obligations