package linksem

  1. Overview
  2. Docs
package linksem
Legend:
Library
Module
Module type
Parameter
Class
Class type
val section_name_is_unique : string -> Elf_file.elf64_file -> bool
val create_unique_name_for_section_from_index : 'a -> Elf_interpreted_section.elf64_interpreted_section -> Elf_file.elf64_file -> string
val create_unique_name_for_common_symbol_from_linkable_name : string -> 'a -> string -> 'b -> string
val get_unique_name_for_common_symbol_from_linkable_name : string -> 'a -> string -> string
val elf_memory_image_element_coextensive_with_section : Nat_big_num.num -> Abis.any_abi_feature Memory_image.annotated_memory_image -> string option
val name_of_symbol_def0 : Memory_image.symbol_definition -> string
val name_of_elf_section : Elf_interpreted_section.elf64_interpreted_section -> 'a -> string option
val name_of_elf_element : Memory_image.elf_file_feature -> 'a -> string option
val get_unique_name_for_section_from_index : Nat_big_num.num -> 'a -> Abis.any_abi_feature Memory_image.annotated_memory_image -> string