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