jon.recoil.org

Module Dwarf_high.Dwarf_world

val emit0_delayed : asm_directives:'a -> unit
val emit0 : asm_directives:Asm_targets.Asm_directives_dwarf.t -> compilation_unit_proto_die:Dwarf_high.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
val emit : asm_directives:Asm_targets.Asm_directives_dwarf.t -> compilation_unit_proto_die:Dwarf_high.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 -> basic_block_sections:bool -> binary_backend_available:bool -> unit
val emit_delayed : asm_directives:'a -> basic_block_sections:bool -> binary_backend_available:bool -> unit