Functor Plugin.Register

module Register: 
functor (P : sig
val name : string
Name of the module. Arbitrary non-empty string.
val shortname : string
Prefix for plugin options. No space allowed.
val help : string
description of the module. Free-form text.
end-> General_services
Functors for registering a new plug-in. It provides access to several services.
Consult the Plugin Development Guide for additional details.
Parameters:
P : sig val name: string (** Name of the module. Arbitrary non-empty string. *) val shortname: string (** Prefix for plugin options. No space allowed. *) val help: string (** description of the module. Free-form text. *) end

include Plugin.S
include Parameter_sig.Builder