lemma-engine-0.9.9
- lemma-engine 0.9.9
- Permalink
- Docs.rs crate page
- Apache-2.0
- 05 September 2026
- Links
- Homepage
- Repository
- crates.io
- Source
- Owners
- benrogmans
- Dependencies
- chrono ^0.4 normal
  crc32c ^0.6 normal
  indexmap ^2.0 normal
  postcard ^1.1 normal
  rust_decimal ^1.42 normal
  serde ^1.0 normal
  serde_json ^1.0 normal
  criterion ^0.8 dev
  jsonschema ^0.49.2 dev
  stats_alloc ^0.1 dev
  console_error_panic_hook ^0.1 normal
  js-sys ^0.3 normal
  serde-wasm-bindgen ^0.6 normal
  wasm-bindgen =0.2.126 normal
  wasm-bindgen-futures ^0.4 normal
  web-sys ^0.3 normal
- Versions
- 21.43% of the crate is documented
Platform
- x86_64-unknown-linux-gnu
Feature flags

docs.rs

Rust

Skip to main content

guide

lemma0.9.9

In lemma::mcp

Function guide

pub fn guide(args: &Value) -> Result<String, ToolError>