code wiki / (root) / sketch_kll_test.nx

sketch_kll_test.nx

buildroot/runtime/sketch_kll_test.nx

3401 B110 linesdepth 5pulls 5 transitivereach 0 importersview sourcekind gate/prooftopic sketch
docsdependenciesstructsconstsfunctions

about

sketch_kll_test.nx -- KLL/MRL compactor-cascade verification.

dependencies 3 imports · 0 importers

syscalls.nx sketch_kll.nx sketch_types.nx sketch_kll_test.nx

imports: syscalls.nxsketch_kll.nxsketch_types.nx

imported by: nobody (leaf or entry point)

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

main nx_kll_alloc nx_kll_quantile nx_kll_total_weight nx_kll_level_addr nx_kll_add nx_kll_level_addr ↻ nx_kll_compact nx_kll_sort_level nx_kll_level_addr ↻ nx_kll_level_addr ↻ nx_kll_rng_next nx_kll_compact ↻ nx_kll_levels_used iabs nx_kll_rank nx_kll_total_weight ↻ nx_kll_level_addr ↻ nx_kll_query_quantile nx_kll_quantile ↻ nx_approx_new nx_kll_rank_error_ppb

structs

none

consts

none

functions

7func iabs(x: i64) -> i64 {
called by 1: main
12func main() -> i64 {
calls 7: nx_kll_allocnx_kll_quantilenx_kll_addnx_kll_levels_usediabsnx_kll_rank+1