def fst
import bend-collections-laws-math@1.0.0.0/src/math/random/rand.bend as Randimport Base
58def fst(-A: Data, -S: Data, p: A & S) -> A:
59 (a, s) = p
60 a
Uses (2)
Used by (25)
- bend-collections-laws-math@1.0.0.0/proofs/math/random/bounded:uint64n_lt
- bend-collections-laws-math@1.0.0.0/proofs/math/random/shuffle:shuffle_perm
- bend-collections-laws-math@1.0.0.0/proofs/math/random/wrappers:intn_lt
- bend-collections-laws-math@1.0.0.0/spec/math/random:Int32.value
- bend-collections-laws-math@1.0.0.0/spec/math/random:Int64.value
- …