It took over an hour to find the reason for this error.
Commit 3cd25cf: Kuiper.Poly.GEMM.TensorCore2D.fst line 218 fails with a confusing error.
The reason is the type lseq of emAFrags in line 181. (The refined type is erased when pulled into the context.)
It took over an hour to find the reason for this error.
Commit 3cd25cf:
Kuiper.Poly.GEMM.TensorCore2D.fstline 218 fails with a confusing error.The reason is the type
lseqofemAFragsin line 181. (The refined type is erased when pulled into the context.)