#[unsafe(no_mangle)]pub extern "C" fn plg_rt_unify(m: *mut Machine, a: u64, b: u64) -> i32
Generic unification; returns 1 on success.