linksem
  1. Overview
  2. Docs
package linksem
Legend:
Library
Module
Module type
Parameter
Class
Class type
val stn_undef : Nat_big_num.num
val stb_local : Nat_big_num.num
val stb_global : Nat_big_num.num
val stb_weak : Nat_big_num.num
val stb_loos : Nat_big_num.num
val stb_hios : Nat_big_num.num
val stb_loproc : Nat_big_num.num
val stb_hiproc : Nat_big_num.num
val string_of_symbol_binding : Nat_big_num.num -> (Nat_big_num.num -> string) -> (Nat_big_num.num -> string) -> string
val stt_notype : Nat_big_num.num
val stt_object : Nat_big_num.num
val stt_func : Nat_big_num.num
val stt_section : Nat_big_num.num
val stt_file : Nat_big_num.num
val stt_common : Nat_big_num.num
val stt_tls : Nat_big_num.num
val stt_loos : Nat_big_num.num
val stt_hios : Nat_big_num.num
val stt_loproc : Nat_big_num.num
val stt_hiproc : Nat_big_num.num
val string_of_symbol_type : Nat_big_num.num -> (Nat_big_num.num -> string) -> (Nat_big_num.num -> string) -> string
val stv_default : Nat_big_num.num
val stv_internal : Nat_big_num.num
val stv_hidden : Nat_big_num.num
val stv_protected : Nat_big_num.num
val string_of_symbol_visibility : Nat_big_num.num -> string
type elf32_symbol_table_entry = {
  1. elf32_st_name : Uint32_wrapper.uint32;
  2. elf32_st_value : Uint32_wrapper.uint32;
  3. elf32_st_size : Uint32_wrapper.uint32;
  4. elf32_st_info : Uint32_wrapper.uint32;
  5. elf32_st_other : Uint32_wrapper.uint32;
  6. elf32_st_shndx : Uint32_wrapper.uint32;
}
val elf32_symbol_table_entry_compare : elf32_symbol_table_entry -> elf32_symbol_table_entry -> int
val instance_Basic_classes_Ord_Elf_symbol_table_elf32_symbol_table_entry_dict : elf32_symbol_table_entry Lem_basic_classes.ord_class
type elf64_symbol_table_entry = {
  1. elf64_st_name : Uint32_wrapper.uint32;
  2. elf64_st_info : Uint32_wrapper.uint32;
  3. elf64_st_other : Uint32_wrapper.uint32;
  4. elf64_st_shndx : Uint32_wrapper.uint32;
  5. elf64_st_value : Uint64_wrapper.uint64;
  6. elf64_st_size : Uint64_wrapper.uint64;
}
val elf64_symbol_table_entry_compare : elf64_symbol_table_entry -> elf64_symbol_table_entry -> int
val instance_Basic_classes_Ord_Elf_symbol_table_elf64_symbol_table_entry_dict : elf64_symbol_table_entry Lem_basic_classes.ord_class
type elf32_symbol_table = elf32_symbol_table_entry list
type elf64_symbol_table = elf64_symbol_table_entry list
val extract_symbol_binding : Nat_big_num.num -> Nat_big_num.num
val extract_symbol_type : Nat_big_num.num -> Nat_big_num.num
val get_symbol_visibility : Nat_big_num.num -> Nat_big_num.num
val make_symbol_other : Nat_big_num.num -> Uint32_wrapper.uint32
val is_elf32_shndx_too_large : elf32_symbol_table_entry -> bool
val is_elf64_shndx_too_large : elf64_symbol_table_entry -> bool
val is_elf32_null_entry : elf32_symbol_table_entry -> bool
val is_elf64_null_entry : elf64_symbol_table_entry -> bool
type symtab_print_bundle = (Nat_big_num.num -> string) * (Nat_big_num.num -> string)
val string_of_elf32_symbol_table_entry : elf32_symbol_table_entry -> string
val string_of_elf64_symbol_table_entry : elf64_symbol_table_entry -> string
val string_of_elf32_symbol_table : elf32_symbol_table_entry list -> string
val elf64_null_symbol_table_entry : elf64_symbol_table_entry
val string_of_elf64_symbol_table : elf64_symbol_table_entry list -> string
val instance_Show_Show_Elf_symbol_table_elf32_symbol_table_entry_dict : elf32_symbol_table_entry Show.show_class
val instance_Show_Show_Elf_symbol_table_elf64_symbol_table_entry_dict : elf64_symbol_table_entry Show.show_class
val read_elf32_symbol_table_entry : Endianness.endianness -> Byte_sequence_wrapper.byte_sequence -> (elf32_symbol_table_entry * Byte_sequence_wrapper.byte_sequence) Error.error
val bytes_of_elf32_symbol_table_entry : Endianness.endianness -> elf32_symbol_table_entry -> Byte_sequence_wrapper.byte_sequence
val read_elf64_symbol_table_entry : Endianness.endianness -> Byte_sequence_wrapper.byte_sequence -> (elf64_symbol_table_entry * Byte_sequence_wrapper.byte_sequence) Error.error
val bytes_of_elf64_symbol_table_entry : Endianness.endianness -> elf64_symbol_table_entry -> Byte_sequence_wrapper.byte_sequence
type symbol_address_map = (string * (Nat_big_num.num * Nat_big_num.num * Nat_big_num.num * Nat_big_num.num)) list
val get_elf32_symbol_type : elf32_symbol_table_entry -> Nat_big_num.num
val get_elf64_symbol_type : elf64_symbol_table_entry -> Nat_big_num.num
val get_elf32_symbol_binding : elf32_symbol_table_entry -> Nat_big_num.num
val get_elf64_symbol_binding : elf64_symbol_table_entry -> Nat_big_num.num