~/jendhub

def U16.to_u32

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

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

1057def U16.to_u32(a: U16) -> U32:
1058  match a:
1059    case U16{x}:
1060      x

Uses (2)

Used by (0)

No other definition uses this definition.