Module records

Module records 

Source

Structs§

AccessLayout
AccessRecordHeader
AccessRecordMut

Functions§

arena_size_bound
trace_heights[i] is assumed to correspond to Adapter< 2^(i+1) >.