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
type elf32_file = {
elf32_file_header : Elf_header.elf32_header;
elf32_file_program_header_table : Elf_program_header_table.elf32_program_header_table;
elf32_file_section_header_table : Elf_section_header_table.elf32_section_header_table;
elf32_file_interpreted_segments : Elf_interpreted_segment.elf32_interpreted_segments;
elf32_file_interpreted_sections : Elf_interpreted_section.elf32_interpreted_sections;
elf32_file_bits_and_bobs : (Nat_big_num.num * Byte_sequence.byte_sequence0) list;
}
val bytes_of_elf32_file :
elf32_file ->
Byte_sequence_wrapper.byte_sequence Error.error
type elf64_file = {
elf64_file_header : Elf_header.elf64_header;
elf64_file_program_header_table : Elf_program_header_table.elf64_program_header_table;
elf64_file_section_header_table : Elf_section_header_table.elf64_section_header_table;
elf64_file_interpreted_segments : Elf_interpreted_segment.elf64_interpreted_segments;
elf64_file_interpreted_sections : Elf_interpreted_section.elf64_interpreted_sections;
elf64_file_bits_and_bobs : (Nat_big_num.num * Byte_sequence.byte_sequence0) list;
}
val bytes_of_elf64_file :
elf64_file ->
Byte_sequence_wrapper.byte_sequence Error.error
val obtain_elf32_program_header_table :
Elf_header.elf32_header ->
Byte_sequence_wrapper.byte_sequence ->
Elf_program_header_table.elf32_program_header_table_entry list Error.error
val obtain_elf64_program_header_table :
Elf_header.elf64_header ->
Byte_sequence_wrapper.byte_sequence ->
Elf_program_header_table.elf64_program_header_table_entry list Error.error
val obtain_elf32_section_header_table :
Elf_header.elf32_header ->
Byte_sequence_wrapper.byte_sequence ->
Elf_section_header_table.elf32_section_header_table_entry list Error.error
val obtain_elf64_section_header_table :
Elf_header.elf64_header ->
Byte_sequence_wrapper.byte_sequence ->
Elf_section_header_table.elf64_section_header_table_entry list Error.error
val obtain_elf32_section_header_string_table :
Elf_header.elf32_header ->
Elf_section_header_table.elf32_section_header_table_entry list ->
Byte_sequence_wrapper.byte_sequence ->
String_table.string_table option Error.error
val obtain_elf64_section_header_string_table :
Elf_header.elf64_header ->
Elf_section_header_table.elf64_section_header_table_entry list ->
Byte_sequence_wrapper.byte_sequence ->
String_table.string_table option Error.error
val obtain_elf32_interpreted_segments :
Elf_program_header_table.elf32_program_header_table_entry list ->
Byte_sequence_wrapper.byte_sequence ->
Elf_interpreted_segment.elf32_interpreted_segment list Error.error
val obtain_elf64_interpreted_segments :
Elf_program_header_table.elf64_program_header_table_entry list ->
Byte_sequence_wrapper.byte_sequence ->
Elf_interpreted_segment.elf64_interpreted_segment list Error.error
val obtain_elf32_interpreted_sections :
String_table.string_table option ->
Elf_section_header_table.elf32_section_header_table_entry list ->
Byte_sequence_wrapper.byte_sequence ->
Elf_interpreted_section.elf32_interpreted_section list Error.error
val obtain_elf64_interpreted_sections :
String_table.string_table option ->
Elf_section_header_table.elf64_section_header_table_entry list ->
Byte_sequence_wrapper.byte_sequence ->
Elf_interpreted_section.elf64_interpreted_section list Error.error
val find_first_not_in_range :
Nat_big_num.num ->
(Nat_big_num.num * Nat_big_num.num) list ->
Nat_big_num.num
val find_first_in_range :
Nat_big_num.num ->
(Nat_big_num.num * Nat_big_num.num) list ->
Nat_big_num.num
val compute_differences :
Nat_big_num.num ->
Nat_big_num.num ->
(Nat_big_num.num * Nat_big_num.num) list ->
(Nat_big_num.num * Nat_big_num.num) list Error.error
val obtain_elf32_bits_and_bobs :
Elf_header.elf32_header ->
Elf_program_header_table.elf32_program_header_table_entry list ->
Elf_interpreted_segment.elf32_interpreted_segment list ->
Elf_section_header_table.elf32_section_header_table_entry list ->
Elf_interpreted_section.elf32_interpreted_section list ->
Byte_sequence_wrapper.byte_sequence ->
(Nat_big_num.num * Byte_sequence_wrapper.byte_sequence) list Error.error
val obtain_elf64_bits_and_bobs :
Elf_header.elf64_header ->
Elf_program_header_table.elf64_program_header_table_entry list ->
Elf_interpreted_segment.elf64_interpreted_segment list ->
Elf_section_header_table.elf64_section_header_table_entry list ->
Elf_interpreted_section.elf64_interpreted_section list ->
Byte_sequence_wrapper.byte_sequence ->
(Nat_big_num.num * Byte_sequence_wrapper.byte_sequence) list Error.error
val read_elf32_file :
Byte_sequence_wrapper.byte_sequence ->
elf32_file Error.error
val read_elf64_file :
Byte_sequence_wrapper.byte_sequence ->
elf64_file Error.error
val get_elf32_file_section_header_string_table :
elf32_file ->
String_table.string_table Error.error
val get_elf64_file_section_header_string_table :
elf64_file ->
String_table.string_table Error.error
val find_elf32_symbols_by_symtab_idx :
Nat_big_num.num ->
elf32_file ->
(Elf_symbol_table.elf32_symbol_table_entry list
* String_table.string_table
* Nat_big_num.num)
Error.error
val find_elf32_symtab_by_type :
Nat_big_num.num ->
elf32_file ->
(Elf_symbol_table.elf32_symbol_table
* String_table.string_table
* Nat_big_num.num)
Error.error
val find_elf64_symbols_by_symtab_idx :
Nat_big_num.num ->
elf64_file ->
(Elf_symbol_table.elf64_symbol_table_entry list
* String_table.string_table
* Nat_big_num.num)
Error.error
val find_elf64_symtab_by_type :
Nat_big_num.num ->
elf64_file ->
(Elf_symbol_table.elf64_symbol_table
* String_table.string_table
* Nat_big_num.num)
Error.error
val get_elf32_file_symbol_string_table :
elf32_file ->
String_table.string_table Error.error
val get_elf64_file_symbol_string_table :
elf64_file ->
String_table.string_table Error.error
val get_elf32_string_table_by_index :
elf32_file ->
Nat_big_num.num ->
String_table.string_table Error.error
val get_elf64_string_table_by_index :
elf64_file ->
Nat_big_num.num ->
String_table.string_table Error.error
val get_elf32_file_symbol_table :
elf32_file ->
Elf_symbol_table.elf32_symbol_table_entry list Error.error
val get_elf64_file_symbol_table :
elf64_file ->
(Elf_symbol_table.elf64_symbol_table_entry list * String_table.string_table)
Error.error
val get_elf32_file_dynamic_symbol_table :
elf32_file ->
Elf_symbol_table.elf32_symbol_table_entry list Error.error
val get_elf64_file_dynamic_symbol_table :
elf64_file ->
Elf_symbol_table.elf64_symbol_table_entry list Error.error
val get_elf32_symbol_table_by_index :
elf32_file ->
Nat_big_num.num ->
Elf_symbol_table.elf32_symbol_table Error.error
val get_elf64_symbol_table_by_index :
elf64_file ->
Nat_big_num.num ->
Elf_symbol_table.elf64_symbol_table Error.error
type elf32_executable_process_image =
(Elf_interpreted_segment.elf32_interpreted_segment * segment_provenance) list
* Nat_big_num.num
* Nat_big_num.num
type elf64_executable_process_image =
(Elf_interpreted_segment.elf64_interpreted_segment * segment_provenance) list
* Nat_big_num.num
* Nat_big_num.num
val get_elf32_executable_image :
elf32_file ->
((Elf_interpreted_segment.elf32_interpreted_segment * segment_provenance)
list
* Nat_big_num.num
* Nat_big_num.num)
Error.error
val get_elf64_executable_image :
elf64_file ->
((Elf_interpreted_segment.elf64_interpreted_segment * segment_provenance)
list
* Nat_big_num.num
* Nat_big_num.num)
Error.error
type global_symbol_init_info =
(string
* (Nat_big_num.num
* Nat_big_num.num
* Nat_big_num.num
* Byte_sequence.byte_sequence0 option
* Nat_big_num.num))
list
val get_elf32_file_global_symbol_init :
elf32_file ->
(string
* (Nat_big_num.num
* Nat_big_num.num
* Nat_big_num.num
* Byte_sequence_wrapper.byte_sequence option
* Nat_big_num.num))
list
Error.error
val get_elf64_file_global_symbol_init :
elf64_file ->
(string
* (Nat_big_num.num
* Nat_big_num.num
* Nat_big_num.num
* Byte_sequence_wrapper.byte_sequence option
* Nat_big_num.num))
list
Error.error
val string_of_elf32_file :
((Nat_big_num.num -> string) * (Nat_big_num.num -> string)) ->
((Nat_big_num.num -> string) * (Nat_big_num.num -> string)) ->
((Nat_big_num.num ->
string)
* (Nat_big_num.num ->
string)
* (Nat_big_num.num ->
string)) ->
elf32_file ->
string
val string_of_elf64_file :
((Nat_big_num.num -> string) * (Nat_big_num.num -> string)) ->
((Nat_big_num.num -> string) * (Nat_big_num.num -> string)) ->
((Nat_big_num.num ->
string)
* (Nat_big_num.num ->
string)
* (Nat_big_num.num ->
string)) ->
elf64_file ->
string
val flag_is_set : Nat_big_num.num -> Nat_big_num.num -> bool
sectionYPositions = computeSectionYPositions($el), 10)"
x-init="setTimeout(() => sectionYPositions = computeSectionYPositions($el), 10)"
>