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.
Not_found
if the option does not correspond to an actual
parametermodule 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.