The branch's distance is derived from its actual command body. Counts refer
to records, so packed and aligned images share the same control semantics.
The image validator rejects a body which enters or leaves a repeat frame.
10def nativeWhenEqual =
11 (lambda unrestricted left : (family NativePhysicalOperand) .
12 (lambda unrestricted right : (family NativePhysicalOperand) .
13 (lambda unrestricted label : Bytes .
14 (lambda unrestricted body : (family NativePhysicalCommands) .
15 (lambda unrestricted tail : (family NativePhysicalCommands) .
16 (nativeLaunchRecipeCommand
17 (constructor
18 NativePhysicalOperation
19 NativePhysicalSkipUnlessEqual
20 left
21 right
22 (nativeLaunchRecipeWord (nativePhysicalCommandsLength body)))
23 label
24 (nativePhysicalProgramComposeCommandsAppend body tail)))))))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.