~/jendhub

def bheads_full

bendtorch@1.3.0.0 · main.bend:3036

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

3036def bheads_full(left: Nat, +hi: Nat, +dm: Dm, s: BS) -> BS:
3037  match left:
3038    case 0n:
3039      s
3040    case 1n+n:
3041      bheads_full(n, 1n+hi, dm, head_bwd_full(dm, head_cols(dm, hi), s))

Uses (5)

Used by (1)