Module Dwarf_high.Dwarf_world
module A = Asm_targets.Asm_directivesval emit0 :
asm_directives:Asm_targets.Asm_directives_dwarf.t ->
(compilation_unit_proto_die:Proto_die.t ->
(compilation_unit_header_label:Asm_targets.Asm_label.t ->
(debug_loc_table:Dwarf_low.Debug_loc_table.t ->
(debug_ranges_table:Dwarf_low.Debug_ranges_table.t ->
(address_table:Dwarf_low.Address_table.t ->
(location_list_table:Dwarf_low.Location_list_table.t ->
unit) @ local) @ local) @ local) @ local) @ local) @ localval emit :
asm_directives:Asm_targets.Asm_directives_dwarf.t ->
compilation_unit_proto_die:Proto_die.t ->
compilation_unit_header_label:Asm_targets.Asm_label.t ->
debug_loc_table:Dwarf_low.Debug_loc_table.t ->
debug_ranges_table:Dwarf_low.Debug_ranges_table.t ->
address_table:Dwarf_low.Address_table.t ->
location_list_table:Dwarf_low.Location_list_table.t ->
binary_backend_available:bool ->
unit