razor-fol-0.1.0
- razor-fol 0.1.0
- Permalink
- Docs.rs crate page
- MIT
- Links
- Repository
- Crates.io
- Source
- Owners
- salmans
- Dependencies
- failure ^0.1.6 normal
  itertools ^0.7 normal
  nom ^4.2.3 normal
  nom_locate ^0.3.1 normal
- Versions
Platform
Feature flags

Rust

☰

razor_fol::test_prelude

[−][src]Function razor_fol::test_prelude::read_theory_from_file

pub fn read_theory_from_file(filename: &str) -> Theory