1 2 3 4 5 6 7mod nat32 { #[unsafe(export_name = "nat32.successor")] extern "C" fn successor(x: u32) -> u32 { x + 1 } }
1 2 3 4 5 6 7
mod nat32 { #[unsafe(export_name = "nat32.successor")] extern "C" fn successor(x: u32) -> u32 { x + 1 } }