def count.zero

bolt@1.27.0.0 · src/lsp/frame.bend:220

import Base

220# is the count zero?
221def count.zero(ds: List<&2, Digit>) -> Bool:
222  match ds:
223    case Nil{}:
224      True{}
225    case Con{D0{}, t}:
226      count.zero(t)
227    case Con{d, t}:
228      False{}