def Int.to_nat

bend-kit-int@0.2.0.0 · int.bend:476

import bend-kit-int@0.2.0.0/int.bend as Int

import Base

476# Signed values below zero have no Nat.
477def Int.to_nat(+n: Nat, +w: Word(n)) -> Maybe<&2, Nat>:
478  Int.to_nat.s(Int.msb(n, w), n, w)

Uses (5)

Used by (1)

bend-kit-int@0.2.0.0/int:I64.to_nat