~/jendhub

def U8.to_nat

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

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

896def U8.to_nat(a: U8) -> Nat:
897  match a:
898    case U8{x}:
899      U32.to_nat(x)

Uses (3)

Used by (0)

No other definition uses this definition.