the host's chunks are the plan's, and the report put back is its last
submission
204def coppeliusChunksAgree :
205 (equal Nat cgChunks (naturalAdd coppeliusFullChunks (naturalNonzero coppeliusTailBytes))) =
206 (refl Nat cgChunks)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.