Module Dwarf_low.Debug_info_section
module DIE = Dwarf_low.Debugging_information_entrymodule A = Asm_targets.Asm_directivestype t = {dies : DIE.t list;debug_abbrev_label : Asm_targets.Asm_label.t;compilation_unit_header_label : Asm_targets.Asm_label.t;
}val create :
dies:DIE.t list ->
debug_abbrev_label:Asm_targets.Asm_label.t ->
compilation_unit_header_label:Asm_targets.Asm_label.t ->
Dwarf_low.Debug_info_section.tval dwarf_version : unit -> Dwarf_low.Dwarf_version.tval debug_abbrev_offset :
Dwarf_low.Debug_info_section.t ->
Dwarf_low.Dwarf_value.tval address_width_in_bytes_on_target : Dwarf_low.Dwarf_value.tval unit_type : Dwarf_low.Unit_type.tval size_without_first_word :
Dwarf_low.Debug_info_section.t ->
Dwarf_low.Dwarf_int.tval size : Dwarf_low.Debug_info_section.t -> Dwarf_low.Dwarf_int.tval emit :
asm_directives:Asm_targets.Asm_directives_dwarf.t ->
Dwarf_low.Debug_info_section.t ->
unit