---- the checkpoint through the staging window ----
the logical checkpoint is P, then M, then V (each the parameter bytes);
chunk c (the staging window's size) is copied in pieces of at most a
mebibyte, cut at the banks' ends
1837def cgCheckpointBanks : (family StdList Nat) =
1838 (constructor
1839 StdList
1840 StdListCons
1841 Nat
1842 cgBankP
1843 (constructor
1844 StdList
1845 StdListCons
1846 Nat
1847 cgBankM
1848 (constructor StdList StdListCons Nat cgBankV (constructor StdList StdListEmpty Nat))))The compiler supplied declaration spans and resolved links from this source snapshot. This page does not assert that this file belongs to a checked closure.