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

☰

Module resolve

Functions

[−][src]Module tptp::resolve

Resolve include directives

Functions

resolve_include

Resolve a TPTP include directive to a File.