def drop_f2

bendtorch@1.3.0.0 · main.bend:1257

import Base
import bend-ml-tensor-array@0.1.18.0/main.bend as TA

1257def drop_f2(-n: Nat, -c: Nat, +t: U32, r: TA.MPair<n, c>) -> Fwd<DropP, TA.Mat<n, c>, TA.Mat<n, c>>:
1258  match r:
1259    case TA.MPair{y, k}:
1260      Fwd{DropP{t}, y, k}