code wiki / (root) / nx_wasm_pair_extension_gate.nx

nx_wasm_pair_extension_gate.nx

buildroot/runtime/nx_wasm_pair_extension_gate.nx

9145 B154 linesdepth 9pulls 21 transitivereach 0 importersview sourcekind gate/prooftopic wasm
docsdependenciesstructsconstsfunctions

dependencies 3 imports · 0 importers

nx_game_page_artifact_lib.nx nx_gate_verdict.nx nx_wasm_data.nx nx_wasm_pair_extension_gate.nx

imports: nx_game_page_artifact_lib.nxnx_gate_verdict.nxnx_wasm_data.nx

imported by: nobody (leaf or entry point)

structs

none

consts

none

functions

5func wpe_interface_mutation(plain: *u8,pn: i64,twin: *u8,tn: i64,section: i64,label: *u8,checks: *i64) -> i64
22func wpe_layout_checks(checks: *i64) -> i64
69func wpe_envelope_checks(plain: *u8,pn: i64,twin: *u8,tn: i64,checks: *i64) -> i64
103func main(argc: i64,argv: *i64) -> i64