Auto‑generated from cargo doc. Every public symbol in the ASL toolchain is documented here.
cargo doc
seedc build
check
run
emit‑ir
prove
seedvm run
trace