+/** <em>Pool</em> de archivos temporales para hacer un ordenamiento externo.
+ * La forma de uso general es, de forma similar al MERGEFILE,
+ * \ref mergepool_add_file "crear un archivo temporal" ,
+ * \ref mergepool_append_data "agregarle datos" (repitiendo el proceso varias
+ * veces creando un lote de archivos temporales) y finalmente ir
+ * \ref mergepool_pop_min "obteniendo el mínimo valor del lote" hasta que no
+ * haya más datos.
+ * \warning Una vez obtenido un dato con mergepool_pop_min() no se pueden
+ * agregar más archivos temporales ni datos al lote.
+ */