def some_value

import bend-collections-laws-crypto@1.0.0.0/proofs/lib/logic.bend as Logic

import Base

85def some_value(-A: Data, m: Maybe<&2, A>, d: A) -> A:
86  match m:
87    case None{}:
88      d
89    case Some{x}:
90      x

Uses (1)