Crate assura_stdlib 

Assura standard library contracts and prelude types.

This crate provides:

• Standard library .assura contract files (math, string, collections)
• The prelude: types and contracts auto-imported into every Assura file
• A stable API for querying stdlib definitions

Structs

StdlibContract

A parsed standard library contract.

StdlibSources

Embedded standard library contract source files.

Functions

parse_stdlib

Parse all standard library modules and return their ASTs.

prelude_contract_names

Prelude contract names that are available without explicit import.

prelude_type_names

Prelude type names that are available without explicit import.

stdlib_contracts

Parse all standard library modules and extract contract names.