def pkt_then

bend-ml-tensor-array@0.1.19.0 · main.bend:1052

import Base

1052def pkt_then(r: PKT, k: Array<F32> -> PT -> PKT) -> PKT:
1053  match r:
1054    case PKT{a, t}:
1055      k(a, t)