def bq.get_len

bend-osdev-algo@0.1.0.0 · proof_bsearch.bend:446

import bend-osdev-algo@0.1.0.0/proof_bsearch.bend as ProofBsearch

import Base

446def bq.get_len(xs: List<&2, U32>) -> {List.get(&2, U32, xs, List.length(&2, U32, xs)) == None{} : Maybe<&2, U32>}:
447  match xs:
448    case Nil{}:
449      {==}
450    case Con{x, t}:
451      bq.get_len(t)

Uses (5)

Used by (1)

bend-osdev-algo@0.1.0.0/PROOF:ba.fd