lemma-engine-0.7.3
- lemma-engine 0.7.3
- Docs.rs crate page
- Apache-2.0
- Links
- Homepage
- Repository
- crates.io
- Source
- Owners
- benrogmans
- Dependencies
- boolean_expression ^0.4 normal
  chrono ^0.4 normal
  indexmap ^2.0 normal
  pest ^2.7 normal
  pest_derive ^2.7 normal
  regex ^1.0 normal
  rust_decimal ^1.33 normal
  serde ^1.0 normal
  serde_json ^1.0 normal
  strum ^0.26 normal
  strum_macros ^0.26 normal
  insta ^1.34 dev
  proptest ^1.4 dev
  console_error_panic_hook ^0.1 normal
  wasm-bindgen ^0.2.104 normal
- Versions
- 41.01% of the crate is documented
Platform
Feature flags

docs.rs

Rust

Skip to main content

Module limits

lemma0.7.3

Module limits

Module Items

Structs

In crate lemma

Module limits

Structs§

ResourceLimits: Limits to prevent abuse and enable predictable resource usage