Bendtorch.bheads_full: def of bendtorch@1.3.0.0
Import: import bendtorch@1.3.0.0/main.bend as Bendtorch
Lines 3036-3041 of bendtorch@1.3.0.0/main.bend: https://jend.leeeet.dev/read.txt?path=bendtorch@1.3.0.0/main.bend&start_line=3036&end_line=3041

import Base

def bheads_full(left: Nat, +hi: Nat, +dm: Dm, s: BS) -> BS:
  match left:
    case 0n:
      s
    case 1n+n:
      bheads_full(n, 1n+hi, dm, head_bwd_full(dm, head_cols(dm, hi), s))

Uses (5):
  https://jend.leeeet.dev/definition.txt?path=Base/base.bend&name=Nat
  https://jend.leeeet.dev/definition.txt?path=bendtorch@1.3.0.0/main.bend&name=BS
  https://jend.leeeet.dev/definition.txt?path=bendtorch@1.3.0.0/main.bend&name=Dm
  https://jend.leeeet.dev/definition.txt?path=bendtorch@1.3.0.0/main.bend&name=head_bwd_full
  https://jend.leeeet.dev/definition.txt?path=bendtorch@1.3.0.0/main.bend&name=head_cols