~/jendhub

def Opt.fin

bendtorch@1.3.0.0 · main.bend:428

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

428def Opt.fin(-r: Nat, -c: Nat, q: Q4) -> MatStep<r, c>:
429  match q:
430    case Q4{w, g, m, v}: MatStep{TA.Mat{w}, TA.Mat{g}, TwoMom{TA.Mat{m}, TA.Mat{v}}}

Uses (5)

Used by (1)