
get_option(++Name, ?Value)

   Retrieves the current value of an option

Arguments
   Name                Name of the option
   Value               Value to be given to the option

Type
   library(config_opts)

Description
   This predicate retrieves the current value Value of the option with name
   Name.  The option must have already been registered with
   register_option/3.

   Value is copied during retrieval, which means that if it is non-ground
   then it will contain fresh copies of variables rather than the original
   ones (or sharing with other retrieved copies).


See Also
   register_option / 3, set_option / 2
