def bgroups

bendtorch@1.3.0.0 · main.bend:2712

import bendtorch@1.3.0.0/main.bend as Bendtorch

import Base

2712def bgroups(left: Nat, +j: Nat, +dm: Dm, s: BG) -> BG:
2713  match left:
2714    case 0n:
2715      s
2716    case 1n+n:
2717      bgroups(n, 1n+j, dm, bgroup(dm, j, s))

Uses (4)

Used by (5)