Up – Package index » elpi » Library elpi.util » Elpi_util » Union_find

Module `Elpi_util.Union_find`Source

Sourcemodule type S = sig ... end

Sourcemodule Make (O : Util.Map.OrderedType) : S with type key = O.t