def Maybe.default

Base · base.bend:833

833def Maybe.default(a, -A: Kind(a), m: Maybe<a, A>, d: A) -> A:
834  match m:
835    case None{}:
836      d
837    case Some{x}:
838      x