def bgo_full

bendtorch@1.3.0.0 · main.bend:3071

import Base
import bend-ml-tensor-array@0.1.18.0/main.bend as TA

3071def bgo_full(big: Bool, +b: Nat, +kv: Nat, +dm: Dm, xs: List<&1, BG>) -> List<&1, DB>:
3072  match big:
3073    case True{}:
3074      bpar_full(Nat.sub(depth(b), 1n), cut(BG, TA.half(b), xs, Nil{}), b, kv, dm)
3075    case False{}:
3076      bleaf_full(xs, kv, dm, Nil{})