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 -> Typed_parameter.t

retrieve the representation of the corresponding parameter.

val get_state : string -> State.t

retrieve the state related to 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 Filepath: Common  with type t = Datatype.Filepath.t

Filepath parameters.

module StringSet: sig .. end

Set of string parameters.

module StringList: sig .. end

List of string parameters.