Module Abi_x86_relocation

val r_386_none : Nat_big_num.num
val r_386_32 : Nat_big_num.num
val r_386_pc32 : Nat_big_num.num
val r_386_got32 : Nat_big_num.num
val r_386_plt32 : Nat_big_num.num
val r_386_copy : Nat_big_num.num
val r_386_glob_dat : Nat_big_num.num
val r_386_jmp_slot : Nat_big_num.num
val r_386_relative : Nat_big_num.num
val r_386_gotoff : Nat_big_num.num
val r_386_gotpc : Nat_big_num.num
val r_386_tls_tpoff : Nat_big_num.num
val r_386_tls_dtpmod32 : Nat_big_num.num
val r_386_tls_dtpoff32 : Nat_big_num.num
val r_386_irelative : Nat_big_num.num
val string_of_x86_relocation_type : Nat_big_num.num -> string