def algo_index_nat

bend-osdev-algo@0.1.0.0 · LAWS.bend:272

import Base

272def algo_index_nat(m: Maybe<&2, U32>) -> Maybe<&2, Nat>:
273  match m:
274    case None{}:
275      None{}
276    case Some{i}:
277      Some{U32.to_nat(i)}