store_u32_to_native

openvm::io

Function store_u32_to_native 

Source 
pub fn store_u32_to_native(native_addr: u32, x: u32)
Expand description

Store u32 x to the native address native_addr as 4 field element in byte.