pub const D_INV_COL_IDX: usize = _; // 13usize
Column for the inverse of the delta between two consecutive context IDs, addresses, or clock cycles, used to enforce that changes are correctly constrained.