the final diagnostics and logits kept in the arena while checkpoint
chunks pass through the staging window, and put back
1939def cgReportTransfer =
1940 (lambda unrestricted restore : Nat .
1941 (cgPhase
1942 cgPhaseReport
1943 (cgThen
1944 (cgLaunch
1945 cgImageCopy
1946 (naturalDivideUnchecked
1947 (naturalDivideUnchecked coppeliusResultLossBlockBytes 4)
1948 cgThreads)
1949 1
1950 1
1951 (cgPointer
1952 (cgArgument 0)
1953 (naturalSelect restore cgDiagnostic (cgArena cgReport))
1954 (cgPointer
1955 (cgArgument 1)
1956 (naturalSelect restore (cgArena cgReport) cgDiagnostic)
1957 cgNoSlots)))
1958 (cgLaunch
1959 cgImageCopy
1960 (naturalDivideUnchecked (naturalDivideUnchecked cgRowBytes 4) cgThreads)
1961 1
1962 1
1963 (cgPointer
1964 (cgArgument 0)
1965 (naturalSelect
1966 restore
1967 cgInference
1968 (cgArena (naturalAdd cgReport coppeliusResultLossBlockBytes)))
1969 (cgPointer
1970 (cgArgument 1)
1971 (naturalSelect
1972 restore
1973 (cgArena (naturalAdd cgReport coppeliusResultLossBlockBytes))
1974 cgInference)
1975 cgNoSlots))))))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.