{"ast_node_type":"other","tokens":[{"end":66,"kind":"keyword","start":0,"text":"///"}]}
/// Purpose: avoid mixing indexes for different bitvector domains.
///
pub trait Idx: Copy + 'static + Eq + PartialEq + Debug + Hash {