Note:

You are viewing a development version of the library. Goto the latest version.

Module OASISFeatures.MapPlugin

module MapPlugin: Map.Make(sig
type t = OASISTypes.plugin_kind * OASISTypes.name 
val compare : 'a -> 'a -> int
end)