~/bend-docscommunity

spec/math/random/source.bend checks

raw source on the hub · import bend-collections-laws-crypto@1.0.0.0/spec/math/random/source.bend as Source

2 imports
import Base
import ../../../src/math/u64.bend as W

Definitions

def fst64 source · line 9 · raw

@-S:Data -> @p:Pair(0xa7e654f9780078ca65bf9e187da99d3e/src/math/u64.U64, S) -> 0xa7e654f9780078ca65bf9e187da99d3e/src/math/u64.U64

def snd64 source · line 13 · raw

@-S:Data -> @p:Pair(0xa7e654f9780078ca65bf9e187da99d3e/src/math/u64.U64, S) -> S

Templates

template outputs source · line 18 · raw

@-S:Data -> @-next:(@_:S -> Pair(0xa7e654f9780078ca65bf9e187da99d3e/src/math/u64.U64, S)) -> @n:Nat -> @+s:S -> List<&2, 0xa7e654f9780078ca65bf9e187da99d3e/src/math/u64.U64>

the first n outputs of the source from state s