Symex.Union_find
module type VariableType = sig ... end
module type S = sig ... end
module Make (X : VariableType) : S with type key = X.t