def has_len

bend-collections-laws-crypto@1.0.0.0 · src/crypto/secp256k1/bytes.bend:30

import Base

30def has_len(n: Nat, bs: List<&2, U32>) -> Bool:
31  match n bs:
32    case 0n Nil{}: True{}
33    case 0n b <> t: False{}
34    case 1n+k Nil{}: False{}
35    case 1n+k b <> t: has_len(k, t)