(documentation
 (package odoc-bench))