Skip to main content

LABEL_IDX

miden_air::trace::bus_message

Constant LABEL_IDX 

Source 
pub const LABEL_IDX: usize = 0;
Expand description

Label coefficient index: beta_powers[0] = beta^0.

Used for transition type/operation label.