nx_coq_stream_ingest.nx
buildroot/runtime/nx_coq_stream_ingest.nx
about
nx_coq_stream_ingest.nx -- bridge nx_coq_ingest -> nx_ingest_runner.
Output JSONL row: {"source":"coq","kind":N,"name":"..."}
genealogy_id: coq_to_qed_2026 + ingest_runner_composition
lineage_id: source_adapter
dependencies 4 imports · 2 importers
imports: nx_syscalls.nxnx_tier.nxnx_coq_ingest.nxnx_ingest_runner.nx
imported by: nx_coq_dir_ingest.nxnx_coq_stream_ingest_test.nx
structs
| none |
consts
| none |
functions
| 19 | func nx_coq_strlen(s: *u8) -> nx_size called by 1: nx_coq_stream_offer_all |
| 25 | func nx_coq_str_copy(dst: *u8, off: nx_size, src: *u8) -> nx_size called by 1: nx_coq_row_build |
| 34 | func nx_coq_row_build(d: *CoqDecl, out: *u8) -> nx_size |
| 48 | func nx_coq_stream_offer_all( |