Type Alias seec::circuit::DefaultIdx

pub type DefaultIdx = u32;