code wiki / (root) / nx_term_order_test.nx

nx_term_order_test.nx

buildroot/runtime/nx_term_order_test.nx

6759 B157 linesdepth 6pulls 6 transitivereach 0 importersview sourcekind gate/prooftopic term

about

nx_term_order_test.nx -- KBO smoke covering all four verdicts.

imports: nx_syscalls.nxnx_runtime.nxnx_tier.nxnx_result.nxnx_unify.nxnx_term_order.nx

imported by: nobody (leaf or entry point)

none

12	const SYM_A: nx_int = 100 // constant, weight 1, prec 10
13	const SYM_B: nx_int = 101 // constant, weight 1, prec 11
14	const SYM_C: nx_int = 102 // constant, weight 1, prec 12
15	const SYM_F: nx_int = 200 // unary, weight 1, prec 20
16	const SYM_G: nx_int = 201 // unary, weight 1, prec 21
17	const SYM_H: nx_int = 250 // binary, weight 1, prec 30
20	const VAR_X: nx_int = 0
21	const VAR_Y: nx_int = 1
22	const NX_MAX_VAR: nx_int = 4

25	func mk_unary(sym: nx_int, child: Term) -> Term called by 1: main calls 2: sys_mmap nx_term_app
34	func mk_binary(sym: nx_int, c0: Term, c1: Term) -> *Term called by 1: main calls 2: sys_mmap nx_term_app
43	func report(name: *u8, expected: nx_int, actual: nx_int) -> nx_int called by 1: main calls 3: print nx_kbo_verdict_name println
58	func main() -> nx_exit calls 14: println nx_kbo_new nx_kbo_register nx_kbo_check_admissibility nx_result_is_err print+8