Module charts::data::invariants

source · [−]
Expand description

Data invariants.

Functions

uid_order_is_toc_order

Map from alloc UIDs to alloc info is ordered by time-of-creation.