def Maybe.value

import minebender-game@1.0.0.0/proof_grid.bend as ProofGrid

import Base

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

Uses (1)