polyhorn-core 0.4.0

Core types used in Polyhorn.

Coverage
13.79%
12 out of 87 items documented
Links
polyhorn/polyhorn
77 7 2
Crates.io
Dependencies
- futures ^0.3.6 normal
- serde ^1.0.115 normal
Versions
- 0.4.0
- 0.3.2
- 0.3.1
- 0.3.0
- 0.2.0
- 0.1.0
Owners