def hits_fin

bend-ml-tensor-array@0.1.19.0 · main.bend:1413

import Base

1413def hits_fin(-n: Nat, -c: Nat, r: CR) -> MHits<n, c>:
1414  match r:
1415    case CR{d, k}:
1416      MHits{Mat{d}, k}