def Digits.is_zero

bend-trace-context@0.2.0.0 · src/digits.bend:45

import Base
import bend-trace-context@0.2.0.0/src/hex.bend as Hex

45# Whether every digit is 0. The empty sequence counts as zero.
46def Digits.is_zero(n: Nat, digits: Digits(n)) -> Bool:
47  match n:
48    case 0n:
49      True{}
50    case 1n+p:
51      match digits:
52        case DCon{head, tail}:
53          Bool.and(Hex.Digit.is_zero(head), Digits.is_zero(p, tail))