def dxsm3

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

import Base
import bend-collections-laws-crypto@1.0.0.0/spec/lib/common.bend as C

40def dxsm3(+h: Nat, +lo: Nat) -> Nat:
41  C.low(64n, Nat.mul(xor_bits(64n, h, C.high(48n, h)), Nat.add(Nat.double(C.half(lo)), 1n)))