~/jendhub

def I32.to_nat

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

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

1429def I32.to_nat(a: I32) -> Maybe<&2, Nat>:
1430  match a:
1431    case I32{x}:
1432      +v = {x : U32}
1433      S32.to_nat.if(S32.is_neg(v), v)

Uses (6)

Used by (0)

No other definition uses this definition.