def uint64

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

import bend-collections-laws-crypto@1.0.0.0/src/crypto/random.bend as Random

import Base
import bend-collections-laws-crypto@1.0.0.0/src/math/u64.bend as W

138def uint64(g: Gen) -> W.U64 & Gen:
139  next(g)

Uses (4)

Used by (0)

No other definition uses this definition.