ClangFrontend.CFrontend_decl
Translate declarations *
module CFrontend_decl_funct (T : CModule_type.CTranslation) : CModule_type.CFrontend