def from_os

bend-collections@1.0.0.0 · src/crypto/random.bend:68

import Base

68def from_os() -> IO(Gen):
69  do IO<Gen>:
70    k0 : U32 <- os_word()
71    k1 : U32 <- os_word()
72    k2 : U32 <- os_word()
73    k3 : U32 <- os_word()
74    k4 : U32 <- os_word()
75    k5 : U32 <- os_word()
76    k6 : U32 <- os_word()
77    k7 : U32 <- os_word()
78    return of_words(k0, k1, k2, k3, k4, k5, k6, k7)