Up – Package index » elpi » Library elpi.util » Elpi_util » Util » Set

Module `Util.Set`Source

Sourcemodule type S = sig ... end

Sourcemodule type OrderedType = sig ... end

Sourcemodule Make (Ord : OrderedType) : S with type elt = Ord.t