def Maybe.val

import minebender-game@1.0.0.0/proof_lists.bend as ProofLists

import Base

19def Maybe.val(-A: Data, +d: A, m: Maybe<&2, A>) -> A:
20  match m:
21    case None{}:
22      d
23    case Some{v}:
24      v

Uses (1)