101def digestStore64 =
102 (lambda unrestricted base : (family X86NativeRegister64) .
103 (lambda unrestricted at : Nat .
104 (lambda unrestricted s : (family X86NativeRegister64) .
105 (digestEmit
106 (constructor X86NativeInstruction X86NativeStoreMemory64 base (digestDisp at) s)))))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.