Skip to main content

DebruijnIndex

charon_driver::hax

Type Alias DebruijnIndex 

Source 
pub type DebruijnIndex = usize;