def read_or

cswap-bend-cli@0.1.0.0 · tui/num.bend:14

import Base

14def read_or(+m: Maybe<&2, U32>, +d: U32) -> U32:
15  match m:
16    case None{}:
17      d
18    case Some{x}:
19      x