tnt-0.1.0
- tnt 0.1.0
- Docs.rs crate page
- MIT
- Links
- Repository
- Crates.io
- Source
- Owners
- SymmetricChaos
- Dependencies
- lazy_static ^1.4.0 normal
  num ^0.4.0 normal
  onig ^6.1.1 normal
- Versions
- 20.74% of the crate is documented
Go to latest version
Platform
- i686-unknown-linux-gnu
- x86_64-unknown-linux-gnu
Feature flags

Rust

☰

tnt::ops_production

Function tnt::ops_production::induction[−][src]

pub fn induction(v: &Variable, base: &Formula, general: &Formula) -> Formula