AlphaGitHub
Source/Packages

Std.Float

packages/foundation/standard/src/Std/Float.alpha

655 lines58 declarations25.1 KiBSHA-256 98de1bd43fa8
Download exact fileView at revisionf5034773ad4bb52133

def · lines 356–365

stdF64FromBytes

Full file
356def stdF64FromBytes =
357  (lambda unrestricted b0 : Byte .
358    (lambda unrestricted b1 : Byte .
359      (lambda unrestricted b2 : Byte .
360        (lambda unrestricted b3 : Byte .
361          (lambda unrestricted b4 : Byte .
362            (lambda unrestricted b5 : Byte .
363              (lambda unrestricted b6 : Byte .
364                (lambda unrestricted b7 : Byte .
365                  (constructor ModelFloat64Bits ModelFloat64BitsValue b0 b1 b2 b3 b4 b5 b6 b7)))))))))

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.