Module Union_find

module Union_find: sig .. end
Union-find for equality domain

module Make: 
functor (Val : Ai_sigs.Domain) -> sig .. end