def zero_or

import cswap-bend-cli@0.1.0.0/daemon/rows.bend as Rows

import Base

113def zero_or(+m: Maybe<&2, Nat>) -> Nat:
114  match m:
115    case None{}:
116      0n
117    case Some{n}:
118      n

Uses (2)