Up – Package index » linksem » Library linksem_zarith » Abi_power64_section_header_table

Module `Abi_power64_section_header_table`Source

abi_power64_section_header_table contains Power64 ABI specific definitions * related to the section header table.

Special sections.

See Section 4.2

val abi_power64_special_sections : 
  (string, Nat_big_num.num * Nat_big_num.num) Pmap.map