formality-0.1.11
- formality 0.1.11
- Permalink
- 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
- 0% of the crate is documented
Platform
Feature flags

docs.rs

Rust

build_idt_ctr

formality0.1.11

In formality::extra

formality::extra

Function build_idt_ctr

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