Type Definition DBI
voile::syntax::common
type DBI = usize;
De Bruijn Indices. Checkout Wikipedia if you are curious but have no idea about it.