229def stdI64BitsEqual =
230 (lambda unrestricted a : (family StdI64) .
231 (lambda unrestricted b : (family StdI64) . (modelWord64Equal (stdI64ToWord a) (stdI64ToWord b))))The compiler supplied declaration spans and resolved links from this source snapshot. This page does not assert that this file belongs to a checked closure.