def maybe32.get

bend-osdev-algo@0.1.0.0 · PROOF.bend:825

import Base

825def maybe32.get(m: Maybe<&2, U32>) -> U32:
826  match m:
827    case None{}:
828      0
829    case Some{k}:
830      k