~/bend-docscommunity

spec/math/random/source.bend checks

raw source on the hub · import bend-collections-laws-math@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(0xf86f5f1d9a594d5a5cff999100e01d03/src/math/u64.U64, S) -> 0xf86f5f1d9a594d5a5cff999100e01d03/src/math/u64.U64

def snd64 source · line 13 · raw

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

Templates

template outputs source · line 18 · raw

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

the first n outputs of the source from state s