Module Dynamic.Parameter


module Parameter: sig .. end
Module to use for accessing parameters of plug-ins. Assume that the plug-in is already loaded.

module type Common = sig .. end
Set of common operations on parameters.
val get_parameter : string -> Parameter.t
retrieve the representation of the corresponding parameter.
module Bool: sig .. end
Boolean parameters.
module Int: sig .. end
Integer parameters.
module String: Common  with type t = string
String parameters.
module StringSet: sig .. end
Set of string parameters.
module StringList: sig .. end
List of string parameters.