~/jendhub

def emb_f2

bendtorch@1.3.0.0 · main.bend:2011

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

2011def emb_f2(-n: Nat, -v: Nat, -d: Nat, +ids: List<&2, Nat>, r: A2) -> Fwd<TA.Mat<v, d>, TA.Mat<n, d>, List<&2, Nat>>:
2012  match r:
2013    case A2{e, o}:
2014      Fwd{TA.Mat{e}, TA.Mat{o}, ids}

Uses (5)

Used by (1)