564def stdF64One =
565 (stdF64FromBytes (byte 0) (byte 0) (byte 0) (byte 0) (byte 0) (byte 0) (byte 240) (byte 63))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.