~/jendhub

def U64.is_zero

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

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

1194def U64.is_zero(a: U64) -> Bool:
1195  match a:
1196    case U64{x}:
1197      Int.is_zero(64n, x)

Uses (3)

Used by (0)

No other definition uses this definition.