fn unify<T>(mut self, a: &T, b: &T) -> Fallible<UnificationResult<I>>
    where
        T: ?Sized + Zip<I>,
    {
        Zip::zip_with(&mut self, a, b)?;
        Ok(UnificationResult { goals: self.goals })
    }
/// The main entry point for the `Unifier` type and really the
/// only type meant to be called externally. Performs a
/// unification of `a` and `b` and returns the Unification Result.
The main entry point for the `Unifier` type and really the
only type meant to be called externally. Performs a
unification of `a` and `b` and returns the Unification Result.
The main entry point for the ` Unifier ` type and really the only type meant to be called externally . Performs a unification of ` a ` and ` b ` and returns the Unification Result .
fn unify<T>(mut self, a: &T, b: &T) -> Fallible<UnificationResult<I>>
    where
        T: ?Sized + Zip<I>,
    {
        Zip::zip_with(&mut self, a, b)?;
        Ok(UnificationResult { goals: self.goals })
    }
fn unify < T > ( mut self , a : & T , b : & T ) -> Fallible < UnificationResult < I > > where T : ? Sized + Zip < I > , { Zip :: zip_with ( & mut self , a , b ) ? ; Ok ( UnificationResult { goals : self . goals } ) }
The main entry point for the `Unifier` type and really the
only type meant to be called externally.
The main entry point for the ` Unifier ` type and really the only type meant to be called externally .
mut self
a
&T
b
&T