package linksem

You can search for identifiers within the package.

in-package search v0.2.0

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