Source/Packages

Std.Word

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

1,783 lines192 declarations64.2 KiBSHA-256 27bf8c3f30ee

def · lines 976–985

stdU32ExactValueOr

Full file
976def stdU32ExactValueOr =
977  (lambda unrestricted fallback : (family ModelWord32) .
978    (lambda unrestricted result : (family DataBytesWord32ExactDecodeResult) .
979      (eliminate
980        DataBytesWord32ExactDecodeResult
981        (lambda unrestricted current : (family DataBytesWord32ExactDecodeResult) .
982          (family ModelWord32))
983        result
984        (branch DataBytesWord32ExactlyDecoded value telemetry . value)
985        (branch DataBytesWord32ExactDecodeFailed code telemetry . fallback))))

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.