~/jendhub

def val_pair

bend-collections-laws-crypto@1.0.0.0 · spec/math/random.bend:100

import bend-collections-laws-crypto@1.0.0.0/spec/math/random.bend as Random
import Base
import bend-collections-laws-crypto@1.0.0.0/src/math/u64.bend as W
import bend-collections-laws-crypto@1.0.0.0/spec/math/w64.bend as SW

100def val_pair(-S: Data, r: W.U64 & S) -> Nat & S:
101  (x, s) = r
102  (SW.value(x), s)

Uses (5)

Used by (14)