def natural_value

bendtorch-core@0.1.0.0 · src/tensor/axis_algebra.bend:245

import Base

245def natural_value(result: Maybe<&2, U32>) -> Maybe<&2, Nat>:
246  match result:
247    case None{}:
248      None{}
249    case Some{word}:
250      Some{U32.to_nat(word)}