Function equal 

pub(crate) fn equal(a: Slot, b: Slot, ty: &TypeDesc) -> bool

Whether two values of type ty are equal, as == decides.