Module `Dwarf_high.Dwarf_world`

module A = Asm_targets.Asm_directives

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

Module Dwarf_high.Dwarf_world

Module `Dwarf_high.Dwarf_world`