lemma-engine-0.8.18
- lemma-engine 0.8.18
- Docs.rs crate page
- Apache-2.0
- Links
- Homepage
- Repository
- crates.io
- Source
- Owners
- benrogmans
- Dependencies
- async-trait ^0.1 normal
  chrono ^0.4 normal
  indexmap ^2.0 normal
  reqwest ^0.13 normal optional
  rust_decimal ^1.33 normal
  serde ^1.0 normal
  serde_json ^1.0 normal
  criterion ^0.8 dev
  stats_alloc ^0.1 dev
  tokio ^1.39.2 dev
  console_error_panic_hook ^0.1 normal
  gloo-net ^0.6 normal
  js-sys ^0.3 normal
  serde-wasm-bindgen ^0.6 normal
  wasm-bindgen =0.2.121 normal
  wasm-bindgen-futures ^0.4 normal
- Versions
- 28.34% of the crate is documented
Go to latest version
Platform
- x86_64-unknown-linux-gnu
Feature flags

docs.rs

Rust

Skip to main content

format_explanation

lemma0.8.18

Function format_explanation

pub fn format_explanation(explanation: &Explanation) -> String