---- 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
1836def cgCheckpointBanks : (family StdList Nat) =
1837 (constructor
1838 StdList
1839 StdListCons
1840 Nat
1841 cgBankP
1842 (constructor
1843 StdList
1844 StdListCons
1845 Nat
1846 cgBankM
1847 (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.