code wiki / (root) / stdlib_test.nx

stdlib_test.nx

buildroot/runtime/stdlib_test.nx

1370 B47 linesdepth 5pulls 11 transitivereach 0 importersview sourcekind gate/proof
docsdependenciesstructsconstsfunctions

about

stdlib_test.nx -- exercise Option + Result via import. Proves that `import "stdlib.nx"` exposes the prelude enums to the importer with full constructor + match-binding semantics.

dependencies 5 imports · 0 importers

syscalls.nx types.nx lex_kinds.nx ir.nx stdlib.nx stdlib_test.nx

imports: syscalls.nxtypes.nxlex_kinds.nxir.nxstdlib.nx

imported by: nobody (leaf or entry point)

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

main unwrap_or_zero check

structs

none

consts

none

functions

14func unwrap_or_zero(o: *Option) -> i64 {
called by 1: main
23func check(r: *Result) -> i64 {
called by 1: main
31func main() -> i64 {
calls 2: unwrap_or_zerocheck