def some_or
import bend-collections-laws-crypto@1.0.0.0/proofs/math/random/shuffle.bend as Shuffleimport Base
19def some_or(-A: Data, m: Maybe<&2, A>, +d: A) -> A:
20 match m:
21 case None{}:
22 d
23 case Some{x}:
24 x
import bend-collections-laws-crypto@1.0.0.0/proofs/math/random/shuffle.bend as Shuffleimport Base
19def some_or(-A: Data, m: Maybe<&2, A>, +d: A) -> A:
20 match m:
21 case None{}:
22 d
23 case Some{x}:
24 x