MathCheckedWord.encoded: def of stelliferous@0.0.2.0
Import: import stelliferous@0.0.2.0/math_checked_word.bend as MathCheckedWord
Lines 25-28 of stelliferous@0.0.2.0/math_checked_word.bend: https://jend.leeeet.dev/read.txt?path=stelliferous@0.0.2.0/math_checked_word.bend&start_line=25&end_line=28

import Base

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

Uses (4):
  https://jend.leeeet.dev/definition.txt?path=Base/base.bend&name=Maybe
  https://jend.leeeet.dev/definition.txt?path=Base/base.bend&name=Nat
  https://jend.leeeet.dev/definition.txt?path=Base/base.bend&name=U32
  https://jend.leeeet.dev/definition.txt?path=Base/base.bend&name=U32.from_nat