sigma-types 0.2.2

Types checked for an invariant.
Documentation 
1
2
3
4
5
6

**/.direnv
**/.DS_Store
**/result
**/rust-toolchain.toml
**/target
**/rustc-ice-*