~/jendhub

def U16.to_nat

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

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

1065def U16.to_nat(a: U16) -> Nat:
1066  match a:
1067    case U16{x}:
1068      U32.to_nat(x)

Uses (3)

Used by (0)

No other definition uses this definition.