def labels_len_is

bend-ml-tensor-array@0.1.19.0 · main.bend:1445

import Base

1445# does the list of labels have exactly n entries (one per row)?
1446def labels_len_is(xs: List<&2, Nat>, n: Nat) -> Bool:
1447  match xs n:
1448    case Nil{} 0n:
1449      True{}
1450    case Con{h, t} 1n+p:
1451      labels_len_is(t, p)
1452    case _ _:
1453      False{}