code wiki / (root) / sketch_bloom_test.nx

sketch_bloom_test.nx

buildroot/runtime/sketch_bloom_test.nx

3386 B109 linesdepth 5pulls 6 transitivereach 0 importersview sourcekind gate/prooftopic sketch
docsdependenciesstructsconstsfunctions

about

sketch_bloom_test.nx -- Bloom v2 verification.

dependencies 3 imports · 0 importers

syscalls.nx sketch_bloom.nx sketch_types.nx sketch_bloom_test.nx

imports: syscalls.nxsketch_bloom.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_bloom_alloc nx_bs_is_pow2 nx_bloom_contains murmur3_32 mm_load_u32_le mm_rotl32 nx_bloom_get_bit nx_bloom_fpr_ppb nx_bloom_insert murmur3_32 ↻ nx_bloom_set_bit nx_bloom_query nx_bloom_contains ↻ nx_bloom_fpr_ppb ↻ nx_approx_new nx_bloom_load_ppt

structs

none

consts

none

functions

7func main() -> i64 {
calls 6: nx_bloom_allocnx_bloom_containsnx_bloom_fpr_ppbnx_bloom_insertnx_bloom_querynx_bloom_load_ppt