code wiki / (root) / stdlib_test.nx

stdlib_test.nx

buildroot/runtime/stdlib_test.nx

1370 B47 linesdepth 5pulls 12 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)

structs

none

consts

none

functions

14func unwrap_or_zero(o: *Option) -> i64 {
23func check(r: *Result) -> i64 {
31func main() -> i64 {