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

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