def some_or
import bend-collections-laws-math@1.0.0.0/proofs/math/random/below.bend as Belowimport Base
68def some_or(m: Maybe<&2, Nat>, +d: Nat) -> Nat:
69 match m:
70 case None{}:
71 d
72 case Some{x}:
73 x
import bend-collections-laws-math@1.0.0.0/proofs/math/random/below.bend as Belowimport Base
68def some_or(m: Maybe<&2, Nat>, +d: Nat) -> Nat:
69 match m:
70 case None{}:
71 d
72 case Some{x}:
73 x