ena 0.13.1

Union-find, congruence closure, and other unification code. Based on code from rustc.
Documentation 
1
2
3
4
5
6
7
8
9

language: rust
rust:
  - stable
  - nightly
script:
  - cargo test
  - |
    [ $TRAVIS_RUST_VERSION != nightly ] ||
    cargo test --all-features