def bgo

bendtorch@1.3.0.0 · main.bend:2933

import bendtorch@1.3.0.0/main.bend as Bendtorch

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

2933def bgo(big: Bool, +b: Nat, +kv: Nat, +dm: Dm, xs: List<&1, BG>) -> List<&1, DB>:
2934  match big:
2935    case True{}:
2936      bpar(Nat.sub(depth(b), 1n), cut(BG, TA.half(b), xs, Nil{}), b, kv, dm)
2937    case False{}:
2938      bleaf(xs, kv, dm, Nil{})

Uses (12)

Used by (1)

bendtorch@1.3.0.0/main:ab2