Module `Dwarf_attribute_values.Value`

type internal_t =

| Dwarf_value of Dwarf_value.t
| Single_location_description of Single_location_description.t
| Composite_location_description of Composite_location_description.t

type _ t = internal_t

module V = Dwarf_value

val flag_true : ?comment:string -> unit -> internal_t

val bool : ?comment:string -> bool -> internal_t

val int8 : ?comment:string -> Numbers.Int8.t -> internal_t

val int16 : ?comment:string -> Numbers.Int16.t -> internal_t

val int32 : ?comment:string -> Int32.t -> internal_t

val int64 : ?comment:string -> Int64.t -> internal_t

val uleb128 : ?comment:string -> Numbers.Uint64.t -> internal_t

val string : ?comment:string -> string -> internal_t

val indirect_string : ?comment:string -> string -> internal_t

val distance_between_symbols_32_bit : 
  ?comment:string ->
  upper:Asm_targets.Asm_symbol.t ->
  lower:Asm_targets.Asm_symbol.t ->
  unit ->
  internal_t

val distance_between_symbols_64_bit : 
  ?comment:string ->
  upper:Asm_targets.Asm_symbol.t ->
  lower:Asm_targets.Asm_symbol.t ->
  unit ->
  internal_t

val distance_between_labels_32_bit : 
  ?comment:string ->
  upper:Asm_targets.Asm_label.t ->
  lower:Asm_targets.Asm_label.t ->
  unit ->
  internal_t

val distance_between_labels_64_bit : 
  ?comment:string ->
  upper:Asm_targets.Asm_label.t ->
  lower:Asm_targets.Asm_label.t ->
  unit ->
  internal_t

val distance_between_labels_64_bit_with_offsets : 
  ?comment:string ->
  upper:Asm_targets.Asm_label.t ->
  upper_offset:Targetint.t ->
  lower:Asm_targets.Asm_label.t ->
  lower_offset:Targetint.t ->
  unit ->
  internal_t

val distance_between_label_and_symbol_32_bit : 
  ?comment:string ->
  upper:Asm_targets.Asm_label.t ->
  lower:Asm_targets.Asm_symbol.t ->
  unit ->
  internal_t

val distance_between_label_and_symbol_64_bit : 
  ?comment:string ->
  upper:Asm_targets.Asm_label.t ->
  lower:Asm_targets.Asm_symbol.t ->
  unit ->
  internal_t

val code_address_from_label : 
  ?comment:string ->
  Asm_targets.Asm_label.t ->
  internal_t

val code_address_from_label_plus_offset : 
  ?comment:string ->
  Asm_targets.Asm_label.t ->
  offset_in_bytes:Targetint.t ->
  internal_t

val code_address_from_symbol : 
  ?comment:string ->
  Asm_targets.Asm_symbol.t ->
  internal_t

val offset_into_debug_line : Asm_targets.Asm_label.t -> internal_t

val offset_into_debug_line_from_symbol : Asm_targets.Asm_symbol.t -> internal_t

val offset_into_debug_info : 
  ?comment:string ->
  Asm_targets.Asm_label.t ->
  internal_t

val offset_into_debug_info_from_symbol : 
  ?comment:string ->
  Asm_targets.Asm_symbol.t ->
  internal_t

val offset_into_debug_loc : Asm_targets.Asm_label.t -> internal_t

val offset_into_debug_ranges : Asm_targets.Asm_label.t -> internal_t

val offset_into_debug_addr : Asm_targets.Asm_label.t -> internal_t

val offset_into_debug_loclists : Asm_targets.Asm_label.t -> internal_t

val offset_into_debug_rnglists : Asm_targets.Asm_label.t -> internal_t

val single_location_description : Single_location_description.t -> internal_t

val composite_location_description : 
  Composite_location_description.t ->
  internal_t

val encoding_attribute : Encoding_attribute.t -> internal_t

val symbol_32 : Asm_targets.Asm_symbol.t -> internal_t

val symbol_64 : Asm_targets.Asm_symbol.t -> internal_t

val loclistx : index:Numbers.Uint64.t -> internal_t

val rnglistx : index:Numbers.Uint64.t -> internal_t

val inline_code : Inline_code.t -> internal_t

val language : Dwarf_language.t -> internal_t

Module Dwarf_attribute_values.Value

Module `Dwarf_attribute_values.Value`