def sc_if

bendtorch-gpu@1.3.0.0 · main.bend:760

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

760def sc_if(ok: Bool, +e: U32, +qa: U32, +ka: U32, +hd: Nat, +t32: U32, +sc: F32, s: S3) -> S3:
761  match ok s:
762    case True{} S3{q, k, p}: sc_put(e, sc, p, T.dot0(hd, qa, ka, 1, t32, q, k))
763    case False{} S3{q, k, p}: S3{q, k, p}