Skip to main content

DebruijnIndex

charon_driver::hax::types::vars

Type Alias DebruijnIndex 

Source 
pub type DebruijnIndex = usize;