package linksem
-
linksem_zarith
Legend:
Library
Module
Module type
Parameter
Class
Class type
Library
Module
Module type
Parameter
Class
Class type
package linksem
Legend:
Library
Module
Module type
Parameter
Class
Class type
Library
Module
Module type
Parameter
Class
Class type
abi_aarch64_section_header_table, AARCH64 ABI specific definitions related * to the section header table.
AARCH64 specific section types
val sht_aarch64_attributes : Nat_big_num.numContains 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.
val string_of_aarch64_section_type : Nat_big_num.num -> stringstring_of_aarch64_section_type m produces a string based representation of * AARCH64 section type m.