fn free_vars_into<'a>(&'a self, set: &mut HashSet<&'a V>)
impl<V, T: FreeVars<V>> FreeVars<V> for Option<T>
[src]fn free_vars_into<'a>(&'a self, set: &mut HashSet<&'a V>)
[src]impl<V, T: FreeVars<V>> FreeVars<V> for Vec<T>
[src]fn free_vars_into<'a>(&'a self, set: &mut HashSet<&'a V>)
[src]impl<L, V: Eq + Hash> FreeVars<Var<V>> for Ast<L, V>
[src]fn free_vars_into<'a>(&'a self, set: &mut HashSet<&'a Var<V>>)
[src]impl<L, V: Eq + Hash> FreeVars<Var<V>> for Term<L, V>
[src]fn free_vars_into<'a>(&'a self, set: &mut HashSet<&'a Var<V>>)
[src]impl<V, K, W: FreeVars<V>> FreeVars<V> for HashMap<K, W>
[src]fn free_vars_into<'a>(&'a self, set: &mut HashSet<&'a V>)
[src]impl<V: Eq + Hash> FreeVars<Var<V>> for Var<V>
[src]