~/jendhub

def pta_then

bendtorch@1.3.0.0 · main.bend:3374

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

3374def pta_then(r: PTA, k: PTree -> Array<F32> -> U32 -> PTA) -> PTA:
3375  match r:
3376    case PTA{t, xs, off}: k(t, xs, off)

Uses (5)

Used by (2)