law attn_par_bwd_full

bendtorch@1.3.0.0 · LAWS.bend:222

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

222# LAW (attn_par_bwd_full): the tree law for FullAttention's backward leaf, as attn_par_bwd is for Attention's.
223law attn_par_bwd_full:
224  for d: Nat
225  for gs: T.Halves<T.BG>
226  for +n: Nat
227  for +kv: Nat
228  for +dm: T.Dm
229  {T.bpar_full(d, gs, n, kv, dm) == T.bleaf_full(T.hcat(T.BG, gs), kv, dm, Nil{}) : List<&1, T.DB>}