Module Abi_aarch64_section_header_tableSource

abi_aarch64_section_header_table, AARCH64 ABI specific definitions related * to the section header table.

AARCH64 specific section types

Sourceval sht_aarch64_attributes : Nat_big_num.num

Contains build attributes. What these are is not specified, and compilers * are free to insert their own proprietary information in this section. See * Section 4.3.

Sourceval string_of_aarch64_section_type : Nat_big_num.num -> string

string_of_aarch64_section_type m produces a string based representation of * AARCH64 section type m.