Note:

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

Module OASISPlugin.MapPlugin


module MapPlugin: Map.S  with type key = plugin_kind plugin