def nat_of

lawful-fields@0.1.1.0 · defs.bend:86

import Base

86# The number a Maybe<U32> stands for.
87def nat_of(m: Maybe<&2, U32>) -> Maybe<&2, Nat>:
88  match m:
89    case Some{x}:
90      Some{U32.to_nat(x)}
91    case None{}:
92      None{}