Google Git Google Git
Sign in
fuchsia/third_party/github.com/leanprover/lean4/refs/heads/upstream/expose-array-back/./tests/elab/ioRandomBytes.lean
blob: 7943dffed4ee96d5c5474b295229588f914b9394 [file] [edit]
#eval IO.getRandomBytes 0
#eval IO.getRandomBytes 256