// Predeclaraciones

template<typename K, typename V> struct Diccionario;

template<typename K, typename V> void crear(Diccionario<K,V>& d);
template<typename K, typename V> bool anyadir(Diccionario<K,V>& d, const K& k, const V& v);
template<typename K, typename V> bool quitar(Diccionario<K,V>& d, const K& k);
template<typename K, typename V> bool buscar(const Diccionario<K,V>& d, const K& k, V& v);
template<typename K, typename V> int cardinal(const Diccionario<K,V>& d);
template<typename K, typename V> bool esVacio(const Diccionario<K,V>& d);
template<typename K, typename V> void duplicar(const Diccionario<K,V>& dEnt, Diccionario<K,V>& dSal);
template<typename K, typename V> bool operator==(const Diccionario<K,V>& d1, const Diccionario<K,V>& d2);
template<typename K, typename V> void liberar(Diccionario<K,V>& d);
template<typename K, typename V> void iniciarIterador(Diccionario<K,V>& d);
template<typename K, typename V> bool existeSiguiente(const Diccionario<K,V>& d);
template<typename K, typename V> bool siguiente(Diccionario<K,V>& d, K& k, V& v);

// Declaración

template<typename K, typename V>
struct Diccionario {
	friend void crear<K,V>(Diccionario<K,V>& d);
	friend bool anyadir<K,V>(Diccionario<K,V>& d, const K& k, const V& v);
	friend bool quitar<K,V>(Diccionario<K,V>& d, const K& k);
	friend bool buscar<K,V>(const Diccionario<K,V>& d, const K& k, V& v);
	friend int cardinal<K,V>(const Diccionario<K,V>& d);
	friend bool esVacio<K,V>(const Diccionario<K,V>& d);
	friend void duplicar<K,V>(const Diccionario<K,V>& dEnt, Diccionario<K,V>& dSal);
	friend bool operator==<K,V>(const Diccionario<K,V>& d1, const Diccionario<K,V>& d2);
	friend void liberar<K,V>(Diccionario<K,V>& d);
	friend void iniciarIterador<K,V>(Diccionario<K,V>& d);
	friend bool existeSiguiente<K,V>(const Diccionario<K,V>& d);
	friend bool siguiente<K,V>(Diccionario<K,V>& d, K& k, V& v);

// Representación de los valores del TAD

  private:
  	...
};

// Implementación de las operaciones

template<typename K, typename V> 
void crear(Diccionario<K,V>& d) {
	...
}

...