~/jendhub

def I64.to_nat

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

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

1618def I64.to_nat(a: I64) -> Maybe<&2, Nat>:
1619  match a:
1620    case I64{x}:
1621      Int.to_nat(64n, x)

Uses (4)

Used by (2)