interaction-calculus-0.2.4
- interaction-calculus 0.2.4
- Permalink
- Docs.rs crate page
- MIT
- Links
- Repository
- crates.io
- Source
- Owners
- VictorTaelin
- Dependencies
- clap ^2.26.0 normal
  im ^15.1.0 normal
- Versions
- 0% of the crate is documented
Platform
Feature flags

docs.rs

Rust

to_net

ic0.2.4

In ic::term

Function to_net

pub fn to_net(term: &Term) -> INet