def all_zero

stelliferous@0.0.2.0 · tensor_layout.bend:522

import Base

522def all_zero(values: List<&2,U32>) -> Bool:
523  match values:
524    case []: True{}
525    case value <> rest: U32.is_zero(value) && all_zero(rest)