lemma-engine-0.6.2
- lemma-engine 0.6.2
- Docs.rs crate page
- Apache-2.0
- Links
- Homepage
- Repository
- crates.io
- Source
- Owners
- benrogmans
- Dependencies
- ariadne ^0.4 normal
  chrono ^0.4 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
  proptest ^1.4 dev
  console_error_panic_hook ^0.1 normal
  wasm-bindgen ^0.2.104 normal
- Versions
- 19.71% of the crate is documented
Go to latest version
Platform
Feature flags

docs.rs

Rust

parse_facts

lemma0.6.2

In lemma::parser

Function parse_facts

pub fn parse_facts(fact_strings: &[&str]) -> Result<Vec<LemmaFact>, LemmaError>