def fheads_full

bendtorch@1.3.0.0 · main.bend:2959

import bendtorch@1.3.0.0/main.bend as Bendtorch

import Base

2959def fheads_full(left: Nat, +hi: Nat, +dm: Dm, s: FS) -> FS:
2960  match left:
2961    case 0n:
2962      s
2963    case 1n+n:
2964      fheads_full(n, 1n+hi, dm, head_full(dm, head_cols(dm, hi), s))

Uses (5)

Used by (5)