ena 0.14.3

Union-find, congruence closure, and other unification code. Based on code from rustc.
Documentation 
1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
21
22
23

# This file is automatically @generated by Cargo.
# It is not intended for manual editing.
version = 3

[[package]]
name = "dogged"
version = "0.2.0"
source = "registry+https://github.com/rust-lang/crates.io-index"
checksum = "2638df109789fe360f0d9998c5438dd19a36678aaf845e46f285b688b1a1657a"

[[package]]
name = "ena"
version = "0.14.3"
dependencies = [
 "dogged",
 "log",
]

[[package]]
name = "log"
version = "0.4.21"
source = "registry+https://github.com/rust-lang/crates.io-index"
checksum = "90ed8c1e510134f979dbc4f070f87d4313098b704861a105fe34231c70a3901c"