lemma-engine-0.8.14
- lemma-engine 0.8.14
- 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
  num-integer ^0.1 normal
  num-rational ^0.4 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.85% of the crate is documented
Platform
- x86_64-unknown-linux-gnu
Feature flags

docs.rs

Rust

Skip to main content

RationalInteger

lemma0.8.14

RationalInteger

Aliased Type

In crate lemma

Type Alias RationalInteger

pub type RationalInteger = Ratio<i128>;

Aliased Type§

pub struct RationalInteger { /* private fields */ }