def cr.check.first.of

import bend-osdev-crypto@0.1.0.0/check.bend as Check

import Base

342def cr.check.first.of(m: Maybe<&2, U32>) -> U32:
343  match m:
344    case Some{b}:
345      b
346    case None{}:
347      0

Uses (2)