def S32.to_nat.if

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

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

import Base

721def S32.to_nat.if(neg: Bool, x: U32) -> Maybe<&2, Nat>:
722  match neg:
723    case True{}:
724      None{}
725    case False{}:
726      Some{U32.to_nat(x)}

Uses (5)

Used by (1)

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