chalk-ir
Chalk's internal representation of types, goals, and clauses
- Category
- Rust crates
cargo add chalk-ir Official docs outline
docs.rsExtra Credit builds an outline of chalk-ir's docs the first time your work uses it. Until then, start at the official documentation.
More in Rust crates
All 4,945- cnfgen Generate DIMACS CNF formula from operations
- g2gen A macro to create types that implement fast finite field arithmetic.
- ambassador Trait implementation delegation via procedural macros
- iref-core Uniform & Internationalized Resource Identifiers (URIs/IRIs), borrowed and owned.
- linebender_resource_handle Raw resource handle for immutable blobs with dynamic lifetimes.
- bool2cnf transfer boolean expression to dimacs directly
- test-context-macros Macro crate for test-context
- pprof2 An internal perf tools for rust programs.
- leptos_macro view macro for the Leptos web framework.
- bolero-afl afl plugin for bolero
- bolero-honggfuzz honggfuzz plugin for bolero
- sorted_vector_map maps and sets backed by sorted vectors