def bgroups_full

bendtorch@1.3.0.0 · main.bend:3048

import bendtorch@1.3.0.0/main.bend as Bendtorch

import Base

3048def bgroups_full(left: Nat, +j: Nat, +dm: Dm, s: BG) -> BG:
3049  match left:
3050    case 0n:
3051      s
3052    case 1n+n:
3053      bgroups_full(n, 1n+j, dm, bgroup_full(dm, j, s))

Uses (4)

Used by (5)