Note:

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

sig   type data   type act   type kind   type self_t = OASISPlugin.PLUGINS.kind OASISPlugin.t   type self_plugin = OASISPlugin.PLUGINS.kind OASISTypes.plugin   val create :     OASISPlugin.PLUGINS.self_plugin ->     OASISPlugin.PLUGINS.self_t * OASISPlugin.all_t   val register_act :     OASISPlugin.PLUGINS.self_t -> OASISPlugin.PLUGINS.act -> unit   val act : OASISPlugin.PLUGINS.self_plugin -> OASISPlugin.PLUGINS.act   val quickstart_question :     unit -> OASISPlugin.PLUGINS.self_plugin OASISTypes.quickstart_question   val value : OASISPlugin.PLUGINS.self_plugin OASISValues.t end