lemma-engine-0.8.4
- lemma-engine 0.8.4
- Docs.rs crate page
- Apache-2.0
- Links
- Homepage
- Repository
- crates.io
- Source
- Owners
- benrogmans
- Dependencies
- async-trait ^0.1 normal
  boolean_expression ^0.4 normal
  chrono ^0.4 normal
  indexmap ^2.0 normal
  postcard ^1 normal
  reqwest ^0.13 normal optional
  rust_decimal ^1.33 normal
  serde ^1.0 normal
  serde_json ^1.0 normal
  sha2 ^0.10 normal
  insta ^1.34 dev
  proptest ^1.4 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.104 normal
  wasm-bindgen-futures ^0.4 normal
- Versions
- 37.83% of the crate is documented
Platform
- x86_64-unknown-linux-gnu
Feature flags

docs.rs

Rust

Skip to main content

Module source

lemma0.8.4

Module source

Module Items

Structs

In lemma::parsing

Module source

Structs§

Source: Positional source location: file and span.