Interface file for Cmd_format.
Interface file for Generate.
Interface file for Opam_doc_config.