API docs
planarian @ a924e09 · Spec v4.6 · snapshot main · all versions
cargo doc for the workspace. Proof obligations link to source lines instead: rustdoc renders verus! blocks poorly.
planarian-changes(crates/changes)planarian(crates/cli)planarian-console(crates/console)planarian-daemon(crates/daemon)planarian-diagnose(crates/diagnose)planarian-exec(crates/exec)planarian-fake(crates/fake)planarian-gym(crates/gym)planarian-incident(crates/incident)planarian-intent(crates/intent)planarian-ipc(crates/ipc)planarian-policy(crates/policy)planarian-schema(crates/schema)planarian-state(crates/state)planarian-tray(crates/tray)planarian-txn(crates/txn)planarian-recovery(crates/watchdog)