AlphaGitHub
Source/Packages

Runtime.NativeFloatPlan

packages/execution/src/Runtime/NativeFloatPlan.alpha

238 lines9 declarations9.6 KiBSHA-256 e708b925915d
Download exact fileView at revisionbcc11a4e7647d31628

def · lines 69–75

nativeFloat64Binary

Full file
69def nativeFloat64Binary =
70  (lambda unrestricted error : Bytes .
71    (lambda unrestricted op : (family NativePhysicalFloat64Operation) .
72      (lambda unrestricted destination : Nat .
73        (lambda unrestricted left : Nat .
74          (lambda unrestricted right : Nat .
75            (nativeFloat64 error op destination (nativeMemoryLoad left) (nativeMemoryLoad right)))))))

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.