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

Module `Util.Map`Source

Sourcemodule type S = sig ... end

Sourcemodule type OrderedType = sig ... end

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