Loader Switches
---------------

The Loader switches are set and displayed with the #set and
#show commands.  They are:

path
  The path variable is intended to contain a list of directories in
  which the loader should search for files when the the #load command is
  used.  It is initially set to the value of the environment variable
  $TERZO_PATH, if it is set, and /usr/local/lib/Terzo/lib otherwise.

print_sigs
  This variable controls whether or not a module's signature is
  printed when it is read.  The valid values of this switch are "on"
  and "off". It is initially set to "off".

primary_loader_prompt
  The value of this variable is printed as a primary prompt at
  the loader level. Initially set to "Terzo> ".

secondary_loader_prompt
  The value of this variable is printed as a secondary prompt at
  the loader level. Initially set to "     > ".

print_abst_types
  This variable controls whether or not the types of bound
  variables are printed when printing abstractions. The only valid
  values of this switch are "on" and "off". Initially set to "off".

print_types
  This variable controls whether or not the types of answer
  substitutions are printed with the substitution. The only valid
  values of this switch are "on" and "off". Initially set to "off".

primary_query_prompt
  The value of this variable is printed as a primary prompt at
  the interactive query interpreter level. Initially set to "?- ".

secondary_query_prompt
  The value of this variable is printed as a secondary prompt
  at the interactive query interpreter level. Initially set to " - ".

off
  Evaluates to "off".  Cannot be set.

on
  Evaluates to "on".  Cannot be set.

all_solutions
  Controls whether or not all possible solutions to a query are
  searched for immediately, without prompting. The only valid values of
  this switch are "on" and "off". Initially set to "off".

warn_positive_built_in
  If the value of this variable is set to "on" a warning is
  printed when a constant is declared in a module which has a positive
  occurrence of a built in type in its type.  For instance, if mod1
  has a constant f with type int -> int, then the following message
  will be printed when mod1 is elaborated:

  Warning: Positive occurrence of built-in kind "int" found in type of "f".

  This warning is intended to make it easier to spot constants which
  will cause trouble with the 'is' predicate. The only valid values of
  this switch are "on" and "off".  Initially set to "on".