def read_u32

bend-trace-context@0.2.0.0 · entropy.bend:15

import Base

15# One word from the host's cryptographic source: WebCrypto in JavaScript and
16# the operating system's generator natively. Fail code 1 means unavailable and
17# code 2 means source-failure in JavaScript; natively the code is the host
18# errno with its strerror text. The pure codec never calls it implicitly.
19def read_u32() -> IO(Result<&1, &1, U32 & String, U32>):
20  import "./entropy/native.c"
21  import "./entropy/webcrypto.js"