Example

symbolic_requires.kina

Source

requires [B = B_prime, K = K_prime] compute {
  tensor<F32, [B, M, K], @host> @ tensor<F32, [B_prime, K_prime, N], @host>
}