AlphaGitHub
Source/Packages

Runtime.NativeFiniteWords

packages/execution/src/Runtime/NativeFiniteWords.alpha

155 lines25 declarations7.5 KiBSHA-256 ded3c50ba9e5
Download exact fileView at revision0dc6acfc09dcaa39d8

def · lines 149–155

nativeFiniteRoutineFor

Full file
149def nativeFiniteRoutineFor =
150  (lambda unrestricted format : (family NativeFiniteWordFormat) .
151    (eliminate NativeFiniteWordFormat
152      (lambda unrestricted current : (family NativeFiniteWordFormat) . Bytes)
153      format
154      (branch NativeFiniteF32 . nativeFiniteF32Routine)
155      (branch NativeFiniteBF16 . nativeFiniteBF16Routine)))

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.