~/jendhub

def ts_then

bendtorch-gpu@1.3.0.0 · main.bend:1367

import bendtorch-gpu@1.3.0.0/main.bend as BendtorchGpu
import Base

1367def ts_then(r: TS, k: @+s: F32 -> Array<F32> -> TS) -> TS:
1368  match r:
1369    case TS{a, +s}: k(s, a)

Uses (3)

Used by (3)