Module Abi_aarch64_section_header_table

val sht_aarch64_attributes : Nat_big_num.num
val string_of_aarch64_section_type : Nat_big_num.num -> string