let
create_empty =
fun
()
->
{ db_tables = []; db_vtables = [];
db_indexes = []; db_queries = []; }