pub fn var_is_bound(&mut self, var: InferenceVariable) -> bool {
        match self.unify.probe_value(var) {
            InferenceValue::Unbound(_) => false,
            InferenceValue::Bound(_) => true,
        }
    }
/// True if the given inference variable is bound to a value.
True if the given inference variable is bound to a value.
True if the given inference variable is bound to a value .
pub fn var_is_bound(&mut self, var: InferenceVariable) -> bool {
        match self.unify.probe_value(var) {
            InferenceValue::Unbound(_) => false,
            InferenceValue::Bound(_) => true,
        }
    }
pub fn var_is_bound ( & mut self , var : InferenceVariable ) -> bool { match self . unify . probe_value ( var ) { InferenceValue :: Unbound ( _ ) => false , InferenceValue :: Bound ( _ ) => true , } }
True if the given inference variable is bound to a value.
True if the given inference variable is bound to a value .
&mut self
var
InferenceVariable