36def nativePhysicalProgramMemory =
37 (lambda unrestricted program : (family NativePhysicalProgram) .
38 (eliminate
39 NativePhysicalProgram
40 (lambda unrestricted current : (family NativePhysicalProgram) .
41 (family StdResult (family NativePhysicalMemoryFailure) (family NativePhysicalMemoryLayout)))
42 program
43 (branch
44 NativePhysicalProgramValue
45 state
46 slots
47 commands
48 expected
49 identity
50 fallbacks
51 .
52 (planNativePhysicalMemory (modelWord64Natural state) (modelWord64Natural slots)))))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.