def maybe.get

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

import Base

58def maybe.get(m: Maybe<&2, Nat>) -> Nat:
59  match m:
60    case None{}:
61      0n
62    case Some{k}:
63      k