Module std_lib 

The embedded ridl.std package (typl reference Appendix A, ADR-0007 decision 15).

The Appendix A source is committed verbatim as crates/ridl-core/assets/ridl_std.typl and compiled in via include_str! — a built-in, implicitly imported package with no filesystem or network lookup, version-locked to the compiler binary.

Constants

RESERVED_PACKAGE_NAMES

Every package name the compiler provides itself, which a user package therefore cannot declare (TYPL-010).

RIDL_STD_NAME

The package name the embedded source declares.

RIDL_STD_PATH

The virtual path the embedded source is registered under. The <builtin> prefix marks it as compiler-provided, not a filesystem path.

RIDL_STD_SOURCE

The ridl.std source, verbatim from the typl reference Appendix A.

Functions

is_reserved_package_name

Whether name is a package the compiler provides.

std_package

The built-in ridl.std package, created at most once per database.