code wiki / (root) / nx_bindings_openapi_capture_gate.nx

nx_bindings_openapi_capture_gate.nx

buildroot/runtime/nx_bindings_openapi_capture_gate.nx

1003 B14 linesdepth 4pulls 7 transitivereach 0 importersview sourcekind gate/proof
docsdependenciesstructsconstsfunctions

dependencies 1 imports · 0 importers

nx_bindings_delivery_gate.nx nx_bindings_openapi_capture_ga

imports: nx_bindings_delivery_gate.nx

imported by: nobody (leaf or entry point)

call flow from main pre-order; caps 40 nodes / depth 6 declared; ↻ = already shown

main bd_prefix gk_len bd_equal ep_anchor sys_openat_rd sys_close sys_chdir sys_mmap nxa_die sys_write sys_exit nxa_lock_take nxa_lock_addr sys_write ↻ nxa_lock_give nxa_lock_addr ↻ nxa_report_overrun sys_write ↻ nxa_dump_printable sys_write ↻ nxa_dump_sizes sys_write ↻ bd_path gk_cat bd_capture gk_wait_code wait_status_rc wait_term_signal wait_exit_code

structs

none

consts

none

functions

2func main(argc: i64, argv: *i64) -> i64
calls 4: bd_prefixep_anchorbd_pathbd_capture