Function nf_equal 

#[unsafe(no_mangle)]
pub(crate) extern "C" fn nf_equal(
    a: Slot,
    b: Slot,
    ty: &TypeDesc,
) -> bool

a == b, with both borrowed.