ocamldoc-ify the the whole