MintPrivateDataRec:
TYPE =
RECORD[
matrix: LinearSystem.MatrixN,
cstTerm: LinearSystem.ColumnN,
vInit: LinearSystem.ColumnN,
tau: LinearSystem.ColumnN,
copyMatrix: LinearSystem.MatrixN,
subMatrix: LinearSystem.MatrixN
fetSeqPool: ARRAY [1..128] OF LIST OF FetSeq ← ALL[NIL]
];