To focus the search input from anywhere on the page, press the 'S' key.
in-package search v0.1.0
Legend:
Library
Module
Module type
Parameter
Class
Class type
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_protected : Nat_big_num.num
val string_of_symbol_visibility : Nat_big_num.num -> string
type elf32_symbol_table_entry = {
elf32_st_name : Uint32_wrapper.uint32;
elf32_st_value : Uint32_wrapper.uint32;
elf32_st_size : Uint32_wrapper.uint32;
elf32_st_info : Uint32_wrapper.uint32;
elf32_st_other : Uint32_wrapper.uint32;
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 = {
elf64_st_name : Uint32_wrapper.uint32;
elf64_st_info : Uint32_wrapper.uint32;
elf64_st_other : Uint32_wrapper.uint32;
elf64_st_shndx : Uint32_wrapper.uint32;
elf64_st_value : Uint64_wrapper.uint64;
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 make_symbol_info :
Nat_big_num.num ->
Nat_big_num.num ->
Uint32_wrapper.uint32
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
val read_elf32_symbol_table :
Endianness.endianness ->
Byte_sequence_wrapper.byte_sequence ->
elf32_symbol_table_entry list Error.error
val read_elf64_symbol_table :
Endianness.endianness ->
Byte_sequence_wrapper.byte_sequence ->
elf64_symbol_table_entry list Error.error
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_image_address :
elf32_symbol_table_entry list ->
String_table.string_table ->
(string
* (Nat_big_num.num * Nat_big_num.num * Nat_big_num.num * Nat_big_num.num))
list
Error.error
val get_elf64_symbol_image_address :
elf64_symbol_table_entry list ->
String_table.string_table ->
(string
* (Nat_big_num.num * Nat_big_num.num * Nat_big_num.num * Nat_big_num.num))
list
Error.error
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
sectionYPositions = computeSectionYPositions($el), 10)"
x-init="setTimeout(() => sectionYPositions = computeSectionYPositions($el), 10)"
>