Function debug_bound_var

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