preferences:get

See also preferences:set-default.

• (preferences:get symbol) -> TST
      symbol : symbol

  preferences:get returns the value for the preference symbol. It raises exn:unknown-preference if the preference has not been set.