CFrontend (infer.ClangFrontend.CModule

val function_decl : 
  CFrontend_config.translation_unit_context ->
  IR.Tenv.t ->
  IR.Cfg.t ->
  ATDGenerated.Clang_ast_t.decl ->
  block_data option ->
  unit

val translate_one_declaration : 
  CFrontend_config.translation_unit_context ->
  IR.Tenv.t ->
  IR.Cfg.t ->
  CFrontend_config.decl_trans_context ->
  ATDGenerated.Clang_ast_t.decl ->
  unit