code wiki / (root) / sketch_mann_kendall_test.nx

sketch_mann_kendall_test.nx

buildroot/runtime/sketch_mann_kendall_test.nx

3033 B100 linesdepth 5pulls 5 transitivereach 0 importersview sourcekind gate/prooftopic sketch
docsdependenciesstructsconstsfunctions

about

sketch_mann_kendall_test.nx -- streaming Mann-Kendall trend test verification.

dependencies 3 imports · 0 importers

syscalls.nx sketch_mann_kendall.nx sketch_types.nx sketch_mann_kendall_test.nx

imports: syscalls.nxsketch_mann_kendall.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_mk_alloc nx_mk_verdict nx_mk_var_s nx_mk_push nx_mk_recompute_s nx_mk_sign nx_mk_sign ↻ nx_mk_s nx_mk_query nx_mk_verdict ↻ nx_approx_new

structs

none

consts

none

functions

7func main() -> i64 {
calls 5: nx_mk_allocnx_mk_verdictnx_mk_pushnx_mk_snx_mk_query