Type Alias hax_frontend_exporter::DebruijnIndex

pub type DebruijnIndex = usize;