formality-0.1.11
- formality 0.1.11
- Docs.rs crate page
- MIT
- Links
- Crates.io
- Source
- Owners
- VictorTaelin
- Dependencies
- clap ^2.26.0 normal
  symmetric-interaction-calculus ^0.1.8 normal
- Versions
Platform
Feature flags

Rust

In formality::term

Function formality::term::apply_idt_args

pub fn apply_idt_args(idt: &Term) -> (Term, Vec<(Vec<u8>, Term)>)