package linksem

  1. Overview
  2. Docs
Legend:
Library
Module
Module type
Parameter
Class
Class type
val elf_section_is_special0 : Elf_interpreted_section.elf64_interpreted_section -> 'a -> bool
val null_section_header_table : Memory_image.elf_file_feature
val null_program_header_table : Memory_image.elf_file_feature
val null_elf_header : Elf_header.elf64_header
val gensym : string -> string
val definitions_pred : Elf_symbol_table.elf64_symbol_table_entry -> bool
val references_pred : Elf_symbol_table.elf64_symbol_table_entry -> bool
val extract_definitions_from_symtab_of_type : Nat_big_num.num -> Elf_file.elf64_file -> Memory_image.symbol_definition list
val extract_references_from_symtab_of_type : Nat_big_num.num -> Elf_file.elf64_file -> Memory_image.symbol_reference list
val extract_all_relocs_as_symbol_references : 'a -> Elf_file.elf64_file -> Memory_image.symbol_reference_and_reloc_site list