modus_ponens-0.11.5
- modus_ponens 0.11.5
- Docs.rs crate page
- GPL-3.0+
- Links
- Homepage
- Documentation
- Repository
- crates.io
- Source
- Owners
- enriquepablo
- Dependencies
- env_logger ^0.7.1 normal
  log ^0.4 normal
  pest ^2.1.3 normal
  pest_derive ^2.1.0 normal
  proc-macro2 ^1.0 normal
  quote ^1.0 normal
  syn ^1.0 normal
- Versions
- 0.97% of the crate is documented
Platform
Feature flags

Rust

☰

Type Definition MPMatching

Other items in
modus_ponens::matching

Type Definition modus_ponens::matching::MPMatching[−][src]

pub type MPMatching<'a> = HashMap<&'a MPSegment, &'a MPSegment>;