{"ast_node_type":"other","tokens":[{"end":63,"kind":"keyword","start":0,"text":"pub"}]}
pub trait Idx: Copy + 'static + Eq + PartialEq + Debug + Hash {
/// Purpose: avoid mixing indexes for different bitvector domains.
    fn new(idx: usize) -> Self;