def encoded

stelliferous@0.0.2.0 · math_checked_word.bend:25

import Base

25def encoded(result: Maybe<&2,Nat>) -> Maybe<&2,U32>:
26  match result:
27    case None{}: None{}
28    case Some{value}: Some{U32.from_nat(value)}