pub fn debug_bound_var<T: Write>( fmt: &mut T, debruijn: DebruijnIndex, var: impl Debug, ) -> Result<(), Error>