Re-exports§
pub use ir::tir;pub use syntax::span;pub use typecheck::types;pub use config::project;pub use config::resolve;pub use config::scaffold;pub use config::target;pub use package::cache;pub use package::hash;pub use package::manifest;pub use package::poseidon2;pub use package::registry;pub use package::store;pub use syntax::format;pub use syntax::lexeme;pub use syntax::lexer;pub use syntax::parser;pub use verify::equiv;pub use verify::report;pub use verify::smt;pub use verify::solve;pub use verify::sym;pub use verify::synthesize;pub use api::*;
Modules§
- api
- ast
- config
- cost
- deploy
- Packaging: produce a self-contained artifact for Trident programs.
- diagnostic
- field
- Prime field arithmetic and universal proving primitives.
- gpu
- GPU compute infrastructure.
- ir
- Intermediate representations for the Trident compiler.
- lsp
- Trident Language Server Protocol implementation.
- neural
- Neural compiler v2: GNN encoder + Transformer decoder.
- package
- runtime
- Runtime traits for VM execution, proving, and deployment.
- syntax
- typecheck
- verify