brujin_internal

gorf_core

Function brujin_internal 

Source 
pub fn brujin_internal<X: Binder>(
    t: GTerm<X, Infallible>,
    m: &BTreeMap<<X as Binder>::Var, usize>,
) -> Term
where
    <X as Binder>::Var: Eq + Ord + Clone,