std:crypto/random リファレンス

import crand := "std:crypto/random" で取得する暗号用乱数モジュール。bytes(n) がホストのエントロピー源から n バイトを Result で返す (源の無い面では Err)。

bytes

bytes(n)
bytes: { Int | Effect(Result(Bytes), Rand) }

ホストのエントロピー源から n バイトを取得する (Result。n が 0 なら空)。

効果ハンドラーの操作である。handle の操作スロットに bytes と書いて横取りできる（language-spec.md §17.9）。

>>> import crand := "std:crypto/random"
>>> crand.bytes(0).unwrap!