Explicit host arithmetic commands. No device operation selects this path as
a fallback. The caller owns scalar representation and state arena bounds.
42def nativeFloat64 =
43 (lambda unrestricted error : Bytes .
44 (lambda unrestricted op : (family NativePhysicalFloat64Operation) .
45 (lambda unrestricted destination : Nat .
46 (lambda unrestricted left : (family NativePhysicalOperand) .
47 (lambda unrestricted right : (family NativePhysicalOperand) .
48 (nativeLaunchRecipeCommand
49 (constructor
50 NativePhysicalOperation
51 NativePhysicalFloat64
52 op
53 (nativeMemoryState destination)
54 left
55 right)
56 error))))))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.