def hint.ms

bend-kit-hairpin@0.14.0.0 · hairpin.bend:153

import Base

153def hint.ms(m: Maybe<&2, U32>) -> Maybe<&2, Nat>:
154  match m:
155    case None{}:
156      None{}
157    case Some{ms}:
158      Some{U32.to_nat(ms)}