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_amd64_symbol_table, AMD64 ABI specific definitions for the ELF symbol * table.
AMD64 specific symbol types. See doc/ifunc.txt and Section 4.3 of the * ABI.
val string_of_abi_amd64_symbol_type : Nat_big_num.num -> stringstring_of_abi_amd64_symbol_type m produces a string based representation * of AMD64 symbol type m.