def has_zero

stelliferous@0.0.2.0 · tensor_shape.bend:28

import Base

28def has_zero(extents: List<&2,U32>) -> Bool:
29  match extents:
30    case Nil{}: False{}
31    case Con{x,xs}: U32.is_zero(x) || has_zero(xs)