def some_or

import bend-collections-laws-math@1.0.0.0/proofs/math/random/shuffle.bend as Shuffle

import 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

Uses (1)