def bq.ol

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

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

import Base
import bend-osdev-array@0.1.0.0/array.bend as A

21def bq.ol(+d: Nat, +l: List<&2, U32>) -> Array<U32>:
22  A.Arrays.of_list(U32, d, l, 0)

Uses (5)

Used by (1)

bend-osdev-algo@0.1.0.0/proof_bsearch:bq.go