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
val stt_gnu_ifunc : Nat_big_num.numOptional, like stt_func but always points to a function or piece of * executable code that takes no arguments and returns a function pointer.
val gnu_extend : 'abifeature Memory_image.abi -> 'abifeature0 Memory_image.abi