Folder
Homonyms
neural/rs/reference/stdlib
Rs Standard Library Extensions Module paths below use the `rs::` logical namespace. The crate on crates.io is `rs-lang`; in Rust code, import as `use rs_lang::prelude::*;` or `use rs_lang::fixed_point::FixedPoint;`. `rs::fixed_point` `rs::bounded` `rs::channel` `rs::particle` `rs::arena`
neural/eidos/specs/stdlib
stdlib the eidos standard library. all definitions here are eidos declarations — they elaborate to kernel terms and are admitted only after the kernel accepts the proof. the simp default set is drawn from lemmas marked `@[simp]`. the ordering follows the dependency graph. earlier definitions are…
neural/trident/reference/stdlib
Standard library: implemented ownership and design catalog The implemented portable sources live in [`lib/std/`](/neural/trident/lib/std); generic intrinsic contracts live in [`lib/vm/`](/neural/trident/lib/vm). `std.target`, `vm.crypto.hash`, and `vm.io.io` are generated from the resolved machine…
neural/trident/docs/explanation/stdlib
The Standard Library One Field, One Proof, One Library Version: 0.1-draft Date: February 15, 2026 Status This document explains the design philosophy behind Trident's standard library. For the complete module catalog and API trees, see the [Standard Library…