package linksem

You can search for identifiers within the package.

in-package search v0.2.0

package linksem

linksem

Legend:
Page
Library
Module
Module type
Parameter
Class
Class type
Source

Module `Abi_aarch64_section_header_table`Source

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.

package linksem

Module Abi_aarch64_section_header_tableSource

Module `Abi_aarch64_section_header_table`Source