Skip to main content

DebruijnIndex

charon_driver::hax::types::ty

Type Alias DebruijnIndex 

Source 
pub type DebruijnIndex = usize;