///////////////////////////////////////////////////////////////////////////////
//                                                                           //
//  Copyright (C) 1995-1998 by the Board of Trustees of Leland Stanford      //
//  Junior University.  See LICENSE for details.                             //
//                                                                           //
///////////////////////////////////////////////////////////////////////////////


#include <hash.h>
#include <dictionary.h>
#include <expr.h>


#ifdef explicitly_instantiate_templates


typedef Hash_Table<int, Bool> Hash_Table_int_bool;

template class Hash_Table<int, Bool>;
template class Hash_Entry<int, Bool>;
template class Hash_Ptr<int, Bool>;
template class Dict_Entry<int, Hash_Table_int_bool*>;
template class Dict_Ptr<int, Hash_Table_int_bool*>;
template class Dict<int, Hash_Table_int_bool*>;
template class Dict_Entry<int, PExpr>;
template class Dict_Ptr<int, PExpr>;
template class Dict<int, PExpr>;

#endif