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

pub fn tptp_input(x: &[u8]) -> Parsed<Statement>