logtk

Core types and algorithms for logic
IN THIS PACKAGE
Parameter #1 Logtk . UnionFind . Make . P
type key
type value
val hash : key -> int
val equal : key -> key -> bool
val merge : value -> value -> value

Should be associative commutative

val zero : value

Neutral element of merge