def snd
import bend-collections-laws-crypto@1.0.0.0/src/math/random/rand.bend as Randimport Base
62def snd(-A: Data, -S: Data, p: A & S) -> S:
63 (a, s) = p
64 s
Uses (2)
Used by (0)
No other definition uses this definition.
import bend-collections-laws-crypto@1.0.0.0/src/math/random/rand.bend as Randimport Base
62def snd(-A: Data, -S: Data, p: A & S) -> S:
63 (a, s) = p
64 s
No other definition uses this definition.