def Int.to_nat.s

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

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

import Base

469def Int.to_nat.s(neg: Bool, n: Nat, w: Word(n)) -> Maybe<&2, Nat>:
470  match neg:
471    case True{}:
472      None{}
473    case False{}:
474      Some{Word.to_nat(n, w)}

Uses (5)

Used by (1)

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