*INITIALIZED-DATABASE-TYPES* — List of all initialized database typesVariable
A list of all initialized database types, each of which represented by it's corresponding keyword.
This variable is updated whenever
      initialize-database-type is called for a
      database type which hasn't already been initialized before, as
      determined by this variable.  In that case the keyword
      representing the database type is pushed onto the list stored in
      *INITIALIZED-DATABASE-TYPES*.
Attempts to modify the value of this variable will result in undefined behaviour.