tptp-0.12.0
- tptp 0.12.0
- Docs.rs crate page
- MIT
- Links
- Crates.io
- Source
- Owners
- MichaelRawson
- Dependencies
- nom ^5.0 normal
  serde ^1.0 normal
  insta ^0.12 dev
- Versions
Go to latest version
Platform
Feature flags

Rust

☰

[−][src]Function tptp::parsers::cnf_formula

pub fn cnf_formula(x: &[u8]) -> Parsed<CnfFormula>