summaryrefslogtreecommitdiff
path: root/asmcomp/dwarf_low/debug_info_section.mli
blob: 528a0682828a8f1ff0e47a0855890203a61d6872 (plain)
1
2
3
4
5
6
7
8
9
10
type t
 
include Emittable.S with type t := t
 
val create :
     tags_with_attribute_values:
       (int * string * Tag.t * (Attribute_value.t list)) list
  -> t
 
val to_abbreviations_table : t -> Abbreviations_table.t