jon.recoil.org

Module Dwarf_attributes.Form

type addr = [
  1. | `addr
]
type block = [
  1. | `block
]
type block1 = [
  1. | `block1
]
type block2 = [
  1. | `block2
]
type block4 = [
  1. | `block4
]
type data1 = [
  1. | `data1
]
type data2 = [
  1. | `data2
]
type data4 = [
  1. | `data4
]
type data8 = [
  1. | `data8
]
type string = [
  1. | `string
]
type flag = [
  1. | `flag
]
type sdata = [
  1. | `sdata
]
type strp = [
  1. | `strp
]
type udata = [
  1. | `udata
]
type ref_addr = [
  1. | `ref_addr
]
type ref1 = [
  1. | `ref1
]
type ref2 = [
  1. | `ref2
]
type ref4 = [
  1. | `ref4
]
type ref8 = [
  1. | `ref8
]
type ref_udata = [
  1. | `ref_udata
]
type indirect = [
  1. | `indirect
]
type sec_offset = [
  1. | `sec_offset
]
type exprloc = [
  1. | `exprloc
]
type flag_present = [
  1. | `flag_present
]
type strx = [
  1. | `strx
]
type addrx = [
  1. | `addrx
]
type ref_sup4 = [
  1. | `ref_sup4
]
type strp_sup = [
  1. | `strp_sup
]
type data16 = [
  1. | `data16
]
type line_strp = [
  1. | `line_strp
]
type ref_sig8 = [
  1. | `ref_sig8
]
type implicit_const = [
  1. | `implicit_const
]
type loclistx = [
  1. | `loclistx
]
type rnglistx = [
  1. | `rnglistx
]
type ref_sup8 = [
  1. | `ref_sup8
]
type strx1 = [
  1. | `strx1
]
type strx2 = [
  1. | `strx2
]
type strx3 = [
  1. | `strx3
]
type strx4 = [
  1. | `strx4
]
type addrx1 = [
  1. | `addrx1
]
type addrx2 = [
  1. | `addrx2
]
type addrx3 = [
  1. | `addrx3
]
type addrx4 = [
  1. | `addrx4
]
module Dwarf_4 : sig ... end
type ('dwarf_classes, 'form) t =
  1. | Addr : (Dwarf_low.Dwarf_attributes.Class.address, Dwarf_low.Dwarf_attributes.Form.addr) Dwarf_low.Dwarf_attributes.Form.t
  2. | Block : (Dwarf_low.Dwarf_attributes.Class.block, Dwarf_low.Dwarf_attributes.Form.block) Dwarf_low.Dwarf_attributes.Form.t
  3. | Block1 : (Dwarf_low.Dwarf_attributes.Class.block, Dwarf_low.Dwarf_attributes.Form.block1) Dwarf_low.Dwarf_attributes.Form.t
  4. | Block2 : (Dwarf_low.Dwarf_attributes.Class.block, [< Dwarf_low.Dwarf_attributes.Form.block1 | Dwarf_low.Dwarf_attributes.Form.block2 ]) Dwarf_low.Dwarf_attributes.Form.t
  5. | Block4 : (Dwarf_low.Dwarf_attributes.Class.block, [< Dwarf_low.Dwarf_attributes.Form.block1 | Dwarf_low.Dwarf_attributes.Form.block2 | Dwarf_low.Dwarf_attributes.Form.block4 ]) Dwarf_low.Dwarf_attributes.Form.t
  6. | Data1 : (Dwarf_low.Dwarf_attributes.Class.constant, Dwarf_low.Dwarf_attributes.Form.data1) Dwarf_low.Dwarf_attributes.Form.t
  7. | Data2 : (Dwarf_low.Dwarf_attributes.Class.constant, [< Dwarf_low.Dwarf_attributes.Form.data1 | Dwarf_low.Dwarf_attributes.Form.data2 ]) Dwarf_low.Dwarf_attributes.Form.t
  8. | Data4 : (Dwarf_low.Dwarf_attributes.Class.constant, [< Dwarf_low.Dwarf_attributes.Form.data1 | Dwarf_low.Dwarf_attributes.Form.data2 | Dwarf_low.Dwarf_attributes.Form.data4 ]) Dwarf_low.Dwarf_attributes.Form.t
  9. | Data8 : (Dwarf_low.Dwarf_attributes.Class.constant, [< Dwarf_low.Dwarf_attributes.Form.data1 | Dwarf_low.Dwarf_attributes.Form.data2 | Dwarf_low.Dwarf_attributes.Form.data4 | Dwarf_low.Dwarf_attributes.Form.data8 ]) Dwarf_low.Dwarf_attributes.Form.t
  10. | String : (Dwarf_low.Dwarf_attributes.Class.string, Dwarf_low.Dwarf_attributes.Form.string) Dwarf_low.Dwarf_attributes.Form.t
  11. | Flag : (Dwarf_low.Dwarf_attributes.Class.flag, Dwarf_low.Dwarf_attributes.Form.data1) Dwarf_low.Dwarf_attributes.Form.t
  12. | Sdata : (Dwarf_low.Dwarf_attributes.Class.constant, Dwarf_low.Dwarf_attributes.Form.sdata) Dwarf_low.Dwarf_attributes.Form.t
  13. | Strp : (Dwarf_low.Dwarf_attributes.Class.string, Dwarf_low.Dwarf_attributes.Form.strp) Dwarf_low.Dwarf_attributes.Form.t
  14. | Udata : (Dwarf_low.Dwarf_attributes.Class.constant, Dwarf_low.Dwarf_attributes.Form.udata) Dwarf_low.Dwarf_attributes.Form.t
  15. | Ref_addr : (Dwarf_low.Dwarf_attributes.Class.reference, Dwarf_low.Dwarf_attributes.Form.ref_addr) Dwarf_low.Dwarf_attributes.Form.t
  16. | Ref1 : (Dwarf_low.Dwarf_attributes.Class.reference, Dwarf_low.Dwarf_attributes.Form.ref1) Dwarf_low.Dwarf_attributes.Form.t
  17. | Ref2 : (Dwarf_low.Dwarf_attributes.Class.reference, [< Dwarf_low.Dwarf_attributes.Form.ref1 | Dwarf_low.Dwarf_attributes.Form.ref2 ]) Dwarf_low.Dwarf_attributes.Form.t
  18. | Ref4 : (Dwarf_low.Dwarf_attributes.Class.reference, [< Dwarf_low.Dwarf_attributes.Form.ref1 | Dwarf_low.Dwarf_attributes.Form.ref2 | Dwarf_low.Dwarf_attributes.Form.ref4 ]) Dwarf_low.Dwarf_attributes.Form.t
  19. | Ref8 : (Dwarf_low.Dwarf_attributes.Class.reference, [< Dwarf_low.Dwarf_attributes.Form.ref1 | Dwarf_low.Dwarf_attributes.Form.ref2 | Dwarf_low.Dwarf_attributes.Form.ref4 | Dwarf_low.Dwarf_attributes.Form.ref8 ]) Dwarf_low.Dwarf_attributes.Form.t
  20. | Ref_udata : (Dwarf_low.Dwarf_attributes.Class.reference, Dwarf_low.Dwarf_attributes.Form.ref_udata) Dwarf_low.Dwarf_attributes.Form.t
  21. | Sec_offset_addrptr : (Dwarf_low.Dwarf_attributes.Class.addrptr, Dwarf_low.Dwarf_attributes.Form.sec_offset) Dwarf_low.Dwarf_attributes.Form.t
  22. | Sec_offset_lineptr : (Dwarf_low.Dwarf_attributes.Class.lineptr, Dwarf_low.Dwarf_attributes.Form.sec_offset) Dwarf_low.Dwarf_attributes.Form.t
  23. | Sec_offset_loclist : (Dwarf_low.Dwarf_attributes.Class.loclist, Dwarf_low.Dwarf_attributes.Form.sec_offset) Dwarf_low.Dwarf_attributes.Form.t
  24. | Sec_offset_loclistsptr : (Dwarf_low.Dwarf_attributes.Class.loclistsptr, Dwarf_low.Dwarf_attributes.Form.sec_offset) Dwarf_low.Dwarf_attributes.Form.t
  25. | Sec_offset_macptr : (Dwarf_low.Dwarf_attributes.Class.macptr, Dwarf_low.Dwarf_attributes.Form.sec_offset) Dwarf_low.Dwarf_attributes.Form.t
  26. | Sec_offset_rnglist : (Dwarf_low.Dwarf_attributes.Class.rnglist, Dwarf_low.Dwarf_attributes.Form.sec_offset) Dwarf_low.Dwarf_attributes.Form.t
  27. | Sec_offset_rnglistsptr : (Dwarf_low.Dwarf_attributes.Class.rnglistsptr, Dwarf_low.Dwarf_attributes.Form.sec_offset) Dwarf_low.Dwarf_attributes.Form.t
  28. | Sec_offset_stroffsetsptr : (Dwarf_low.Dwarf_attributes.Class.stroffsetsptr, Dwarf_low.Dwarf_attributes.Form.sec_offset) Dwarf_low.Dwarf_attributes.Form.t
  29. | Exprloc : (Dwarf_low.Dwarf_attributes.Class.exprloc, Dwarf_low.Dwarf_attributes.Form.exprloc) Dwarf_low.Dwarf_attributes.Form.t
  30. | Flag_present : (Dwarf_low.Dwarf_attributes.Class.flag, Dwarf_low.Dwarf_attributes.Form.flag_present) Dwarf_low.Dwarf_attributes.Form.t
  31. | Strx : (Dwarf_low.Dwarf_attributes.Class.string, Dwarf_low.Dwarf_attributes.Form.strx) Dwarf_low.Dwarf_attributes.Form.t
  32. | Addrx : (Dwarf_low.Dwarf_attributes.Class.address, Dwarf_low.Dwarf_attributes.Form.addrx) Dwarf_low.Dwarf_attributes.Form.t
  33. | Ref_sup4 : (Dwarf_low.Dwarf_attributes.Class.reference, Dwarf_low.Dwarf_attributes.Form.ref_sup4) Dwarf_low.Dwarf_attributes.Form.t
  34. | Strp_sup : (Dwarf_low.Dwarf_attributes.Class.string, Dwarf_low.Dwarf_attributes.Form.strp_sup) Dwarf_low.Dwarf_attributes.Form.t
  35. | Data16 : (Dwarf_low.Dwarf_attributes.Class.constant, Dwarf_low.Dwarf_attributes.Form.data16) Dwarf_low.Dwarf_attributes.Form.t
  36. | Line_strp : (Dwarf_low.Dwarf_attributes.Class.string, Dwarf_low.Dwarf_attributes.Form.line_strp) Dwarf_low.Dwarf_attributes.Form.t
  37. | Ref_sig8 : (Dwarf_low.Dwarf_attributes.Class.reference, Dwarf_low.Dwarf_attributes.Form.ref_sig8) Dwarf_low.Dwarf_attributes.Form.t
  38. | Implicit_const : (Dwarf_low.Dwarf_attributes.Class.constant, Dwarf_low.Dwarf_attributes.Form.implicit_const) Dwarf_low.Dwarf_attributes.Form.t
  39. | Loclistx : (Dwarf_low.Dwarf_attributes.Class.loclist, Dwarf_low.Dwarf_attributes.Form.loclistx) Dwarf_low.Dwarf_attributes.Form.t
  40. | Rnglistx : (Dwarf_low.Dwarf_attributes.Class.rnglist, Dwarf_low.Dwarf_attributes.Form.rnglistx) Dwarf_low.Dwarf_attributes.Form.t
  41. | Ref_sup8 : (Dwarf_low.Dwarf_attributes.Class.reference, Dwarf_low.Dwarf_attributes.Form.ref_sup8) Dwarf_low.Dwarf_attributes.Form.t
  42. | Strx1 : (Dwarf_low.Dwarf_attributes.Class.string, Dwarf_low.Dwarf_attributes.Form.strx1) Dwarf_low.Dwarf_attributes.Form.t
  43. | Strx2 : (Dwarf_low.Dwarf_attributes.Class.string, Dwarf_low.Dwarf_attributes.Form.strx2) Dwarf_low.Dwarf_attributes.Form.t
  44. | Strx3 : (Dwarf_low.Dwarf_attributes.Class.string, Dwarf_low.Dwarf_attributes.Form.strx3) Dwarf_low.Dwarf_attributes.Form.t
  45. | Strx4 : (Dwarf_low.Dwarf_attributes.Class.string, Dwarf_low.Dwarf_attributes.Form.strx4) Dwarf_low.Dwarf_attributes.Form.t
  46. | Addrx1 : (Dwarf_low.Dwarf_attributes.Class.string, Dwarf_low.Dwarf_attributes.Form.addrx1) Dwarf_low.Dwarf_attributes.Form.t
  47. | Addrx2 : (Dwarf_low.Dwarf_attributes.Class.string, Dwarf_low.Dwarf_attributes.Form.addrx2) Dwarf_low.Dwarf_attributes.Form.t
  48. | Addrx3 : (Dwarf_low.Dwarf_attributes.Class.string, Dwarf_low.Dwarf_attributes.Form.addrx3) Dwarf_low.Dwarf_attributes.Form.t
  49. | Addrx4 : (Dwarf_low.Dwarf_attributes.Class.string, Dwarf_low.Dwarf_attributes.Form.addrx4) Dwarf_low.Dwarf_attributes.Form.t
  50. | Dwarf_4 : ('dwarf_classes, 'form) Dwarf_low.Dwarf_attributes.Form.Dwarf_4.t -> ('dwarf_classes, 'form) Dwarf_low.Dwarf_attributes.Form.t
val name : ('dwarf_class, 'form) Dwarf_low.Dwarf_attributes.Form.t -> string
val encode : ('dwarf_class, 'form) Dwarf_low.Dwarf_attributes.Form.t -> Dwarf_low.Dwarf_value.t
val emit : asm_directives:Asm_targets.Asm_directives_dwarf.t -> ('a, 'b) Dwarf_low.Dwarf_attributes.Form.t -> unit