~/jendhub

def rope_e

bendtorch@1.3.0.0 · main.bend:2311

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

2311# pairs e.., left more after e
2312def rope_e(left: Nat, +e: U32, +fwd: Bool, +hh: U32, +half: U32, +w: U32, +t: U32, st: RS3) -> RS3:
2313  match left:
2314    case 0n:
2315      rope_one(e, fwd, hh, half, w, t, st)
2316    case 1n+q:
2317      rope_e(q, (e + 1 : U32), fwd, hh, half, w, t, rope_one(e, fwd, hh, half, w, t, st))

Uses (6)

Used by (1)