def fst
import bend-collections-laws-crypto@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 (17)
- bend-collections-laws-crypto@1.0.0.0/proofs/math/random/shuffle:shuffle_perm
- bend-collections-laws-crypto@1.0.0.0/proofs/math/random/bounded:fst_val
- bend-collections-laws-crypto@1.0.0.0/proofs/math/random/bounded:uint64n_lt
- bend-collections-laws-crypto@1.0.0.0/proofs/math/random/shuffle:go_occ
- bend-collections-laws-crypto@1.0.0.0/proofs/math/random/shuffle:swap_at_occ
- …