~/jendhub

def bheads

bendtorch@1.3.0.0 · main.bend:2691

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

2691def bheads(left: Nat, +hi: Nat, +dm: Dm, s: BS) -> BS:
2692  match left:
2693    case 0n:
2694      s
2695    case 1n+n:
2696      bheads(n, 1n+hi, dm, head_bwd(dm, head_cols(dm, hi), s))

Uses (5)

Used by (1)