Module `Dwarf_abstract_instances`

Management of DWARF "abstract instances" for functions.

val attributes : 
  string ->
  Dwarf_low.Dwarf_attribute_values.Attribute_value.t list

val add_root : 
  Dwarf_state.t ->
  parent:Dwarf_high.Proto_die.t ->
  demangled_name:string ->
  Asm_targets.Asm_symbol.t ->
  location_attributes:Dwarf_low.Dwarf_attribute_values.Attribute_value.t list ->
  Dwarf_high.Proto_die.t * Asm_targets.Asm_symbol.t

Add an abstract instance root.

type find_result = private

| Ok of Asm_targets.Asm_symbol.t
| External_unit of {
1. demangled_name : string;
2. fun_symbol : Asm_targets.Asm_symbol.t;
}

val find : 
  Dwarf_state.t ->
  compilation_unit_proto_die:Dwarf_high.Proto_die.t ->
  Debuginfo.t ->
  Dwarf_abstract_instances.find_result

Module Dwarf_abstract_instances

Module `Dwarf_abstract_instances`