It seems to be an equivalency comparison for some types, but not strings.
# 3 != 3;; - : bool = false # 3 != 2;; - : bool = true
This is as
ints are the only type where physical and structural equality are the same, because ints are the only type that is unboxed