""" db_names.py -- Names of the databases """

mmdb = "mmdb_elevator"  # Name of the populated metamodel database
# udb = "user" # Name of the user model generated from instances in the populated mmdb
dbfile_ext = ".ral"  # Name used for a text serialization of a TclRAL database
types_dir_name = "db_types"  # System subdirectory where yaml user to TclRAL type mappings are found
