Skip to main content

Module declaration

submilli_engine::runtime::prelude

Module declaration 

Source
Expand description

The prelude’s declaration: the full typed interface/type surface plus the cached package assembly codegen and the typechecker consume.

Constants§

MODULE_NAME

Functions§

cached_runtime_package_declarations
prelude_package_declaration
Prelude exports as PackageDeclaration. Hand-coded — the prelude isn’t Submilli source.