-- File: ModelDB.config
-- Contents: Config containing Cypress Model Level
-- File created by Rick Cattell on June 10, 1980
-- Last edited by:
--    Rick Cattell on November 8, 1983 2:23 pm
--    MBrown on 15-Jul-81 18:56:23
--    Willie-Sue on January 25, 1983 4:43 pm

ModelDB: CONFIGURATION
  IMPORTS
    Atom,
    BasicTime,
    ConvertUnsafe,
    DBStorage,
    DBStats,
    FS,
    IO,
    Rope

  EXPORTS
    DB, -- client interface
    DBEnvironment, -- signals for rest of Cypress
    DBModel, -- for DBShow
    DBModelPrivate -- for test programs
  CONTROL
    DBImpl,
    DBModelGlobalImpl,
    DBModelSystemImpl,
    DBModelBasicImpl,
    DBModelSetImpl,
    DBModelPrivateImpl

  = BEGIN

  DBImpl;
  DBModelGlobalImpl;
  DBModelSystemImpl;
  DBModelBasicImpl;
  DBModelSetImpl;
  DBModelPrivateImpl;

END.--ModelDB