Skip to main content

unify

Function unify 

Source
pub fn unify(m: &mut Machine, a: Word, b: Word) -> bool