pub fn bind(&mut self, var: &Symbol, val: Term) -> PolarResult<()> {
        if self.log {
            self.print(&format!("⇒ bind: {} ← {}", var.to_polar(), val.to_polar()));
        }

        self.binding_manager.bind(var, val)
    }
/// Push a binding onto the binding stack.
Push a binding onto the binding stack.
Push a binding onto the binding stack .
pub fn bind(&mut self, var: &Symbol, val: Term) -> PolarResult<()> {
        if self.log {
            self.print(&format!("⇒ bind: {} ← {}", var.to_polar(), val.to_polar()));
        }
        self.binding_manager.bind(var, val)
    }
pub fn bind ( & mut self , var : & Symbol , val : Term ) -> PolarResult < ( ) > { if self . log { self . print ( & format ! ( " a to_ olar(),  v a to_ olar())) ; } self . binding_manager . bind ( var , val ) }
Push a binding onto the binding stack.
Push a binding onto the binding stack .
&mut self
var
&Symbol
val
Term