~/jendhub

def U16.is_zero

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

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

1023def U16.is_zero(a: U16) -> Bool:
1024  match a:
1025    case U16{x}:
1026      U32.is_zero(x)

Uses (3)

Used by (0)

No other definition uses this definition.