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::fof_unit_formula

pub fn fof_unit_formula(x: &[u8]) -> Parsed<FofFormula>