package linksem

  1. Overview
  2. Docs
Legend:
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.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.

val 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.

OCaml

Innovation. Community. Security.