lemma-engine-0.8.12
- lemma-engine 0.8.12
- Permalink
- 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
- 39.86% of the crate is documented
Platform
- x86_64-unknown-linux-gnu
Feature flags

docs.rs

Rust

Skip to main content

MAX_DATA_NAME_LENGTH

lemma0.8.12

In lemma::limits

Constant MAX_DATA_NAME_LENGTH

pub const MAX_DATA_NAME_LENGTH: usize = 256;