Library ocplib-resto-directory

The entry point of this library is the module: Resto_directory.