~/jendhub

def ts_go

bendtorch@1.3.0.0 · main.bend:3152

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

3152def ts_go(f: Nat, done: Bool, +m: U32, a: Array<F32>) -> F32:
3153  match f done:
3154    case _ True{}:
3155      ts_first(Array.get(F32, a, 0))
3156    case 0n False{}:
3157      ts_first(Array.get(F32, a, 0))
3158    case 1n+g False{}:
3159      ts_go(g, U32.is_le(U32.div((m + 1 : U32), 2), 1), U32.div((m + 1 : U32), 2), ts_pass(m, a))

Uses (11)

Used by (1)