19def memoryCopyAssemblyFor =
20 (lambda erased A : Type 0 .
21 (lambda unrestricted step : (pi unrestricted tail : A . A) .
22 (lambda unrestricted testCount : (pi unrestricted tail : A . A) .
23 (lambda unrestricted jumpZero : (pi unrestricted label : Bytes . (pi unrestricted tail : A . A)) .
24 (lambda unrestricted jumpNotZero : (pi unrestricted label : Bytes . (pi unrestricted tail : A . A)) .
25 (lambda unrestricted label : (pi unrestricted name : Bytes . (pi unrestricted tail : A . A)) .
26 (lambda unrestricted returnZero : (pi unrestricted tail : A . A) .
27 (lambda unrestricted end : A .
28 (label
29 nativeMemoryRoutineLabelEntry
30 (testCount
31 (jumpZero
32 nativeMemoryRoutineLabelDone
33 (label
34 nativeMemoryRoutineLabelLoop
35 (step
36 (testCount
37 (jumpNotZero
38 nativeMemoryRoutineLabelLoop
39 (label nativeMemoryRoutineLabelDone (returnZero end)))))))))))))))))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.