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