code wiki / (root) / nx_help_test.nx

nx_help_test.nx

buildroot/runtime/nx_help_test.nx

3093 B78 linesdepth 5pulls 8 transitivereach 0 importersview sourcekind gate/proof
docsdependenciesstructsconstsfunctions

about

nx_help_test.nx -- smoke for substrate-native S-class help.

dependencies 6 imports · 0 importers

syscalls.nx nx_axioms.nx nx_jargon.nx nx_qed_db.nx nx_question_genealogy.nx nx_help.nx nx_help_test.nx

imports: syscalls.nxnx_axioms.nxnx_jargon.nxnx_qed_db.nxnx_question_genealogy.nxnx_help.nx

imported by: nobody (leaf or entry point)

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

main nx_jargon_db_alloc nx_jargon_seed_corpus nx_jargon_add nx_jargon_entry_at nx_qed_db_alloc nx_qed_insert nx_qed_entry_at nx_qg_tree_alloc nx_qg_seed_corpus nx_qg_add_root nx_qg_node_at nx_qg_add_refinement nx_qg_node_at ↻ nx_help_result_alloc nx_help_query nx_help_search_jargon nx_jargon_lookup nx_jargon_entry_at ↻ nx_jargon_str_eq nx_jargon_entry_at ↻ nx_jargon_lookup ↻ nx_help_search_qed nx_qed_find_by_name nx_qed_entry_at ↻ nx_qed_entry_at ↻ nx_help_search_qg nx_qg_node_at ↻ nx_help_str_starts_with nx_help_emit_result hp_str hp_strz hp_i64 hp_putc hp_i64 ↻

structs

none

consts

none

functions

10func main() -> i64 {