~/jendhub

def bgroups_u

bendtorch@1.3.0.0 · main.bend:2846

import bendtorch@1.3.0.0/main.bend as Bendtorch
import Base

2846def bgroups_u(left: Nat, +j: Nat, +bi: Nat, +t: Nat, +w: Nat, +kvw: Nat, +g: Nat, +hd: Nat, s: BL) -> BL:
2847  match left:
2848    case 0n:
2849      s
2850    case 1n+n:
2851      bgroups_u(n, 1n+j, bi, t, w, kvw, g, hd, bunit(t, w, kvw, g, hd, bi, j, s))

Uses (3)

Used by (1)