hax_
frontend_
exporter
0.3.2
hax_frontend_exporter
Type Alias
DebruijnIndex
Copy item path
Source
pub type DebruijnIndex =
usize
;