summaryrefslogtreecommitdiff
path: root/asmcomp/dwarf_low/attribute.mli
blob: 95f3599ffb4d96e35fb6a67ac482634eef969f2d (plain)
1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
type t
 
(* [emit] emits the attribute followed by the form. *)
include Emittable.S with type t := t
 
val low_pc : t
val high_pc : t
val producer : t
val name : t
val comp_dir : t
val stmt_list : t
val extern'l : t
val location : t
val typ' : t
val encoding : t
val byte_size : t