def bslices

bendtorch@1.3.0.0 · main.bend:2853

import bendtorch@1.3.0.0/main.bend as Bendtorch

import Base

2853def bslices(left: Nat, +bi: Nat, +t: Nat, +w: Nat, +kvw: Nat, +kv: Nat, +g: Nat, +hd: Nat, s: BL) -> BL:
2854  match left:
2855    case 0n:
2856      s
2857    case 1n+n:
2858      bslices(n, 1n+bi, t, w, kvw, kv, g, hd, bgroups_u(kv, 0n, bi, t, w, kvw, g, hd, s))

Uses (3)

Used by (2)