AlphaGitHub
Source/Packages

Std.Word

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

1,783 lines192 declarations64.2 KiBSHA-256 27bf8c3f30ee
Download exact fileView at revisionf5034773ad4bb52133

def · lines 221–227

stdI64ToWord

Full file
221def stdI64ToWord =
222  (lambda unrestricted value : (family StdI64) .
223    (eliminate
224      StdI64
225      (lambda unrestricted current : (family StdI64) . (family ModelWord64))
226      value
227      (branch StdI64Of bits . bits)))

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.