(* entry.mli - Don Yang (uguu.org) 10/28/07 *) (* This module doesn't export anything. The mli file is here to complete the file pairs required by the build system. *)