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 gnu_ext_ver_def_none : Nat_big_num.num
val gnu_ext_ver_def_current : Nat_big_num.num
val gnu_ext_ver_flg_base : Nat_big_num.num
val gnu_ext_ver_flg_weak : Nat_big_num.num
val gnu_ext_ver_ndx_local : Nat_big_num.num
val gnu_ext_ver_ndx_global : Nat_big_num.num
val gnu_ext_ver_ndx_loreserve : Nat_big_num.num
val gnu_ext_ver_ndx_eliminate : Nat_big_num.num
val gnu_ext_ver_need_none : Nat_big_num.num
val gnu_ext_ver_need_current : Nat_big_num.num
type gnu_ext_elf32_symbol_version_table = Uint32_wrapper.uint32 list
type gnu_ext_elf64_symbol_version_table = Uint32_wrapper.uint32 list
val read_gnu_ext_elf64_versym_table :
Endianness.endianness ->
Byte_sequence_wrapper.byte_sequence ->
Uint32_wrapper.uint32 list Error.error
type gnu_ext_elf32_verdef = {
gnu_ext_elf32_vd_version : Uint32_wrapper.uint32;
gnu_ext_elf32_vd_flags : Uint32_wrapper.uint32;
gnu_ext_elf32_vd_ndx : Uint32_wrapper.uint32;
gnu_ext_elf32_vd_cnt : Uint32_wrapper.uint32;
gnu_ext_elf32_vd_hash : Uint32_wrapper.uint32;
gnu_ext_elf32_vd_aux : Uint32_wrapper.uint32;
gnu_ext_elf32_vd_next : Uint32_wrapper.uint32;
}
type gnu_ext_elf64_verdef = {
gnu_ext_elf64_vd_version : Uint32_wrapper.uint32;
gnu_ext_elf64_vd_flags : Uint32_wrapper.uint32;
gnu_ext_elf64_vd_ndx : Uint32_wrapper.uint32;
gnu_ext_elf64_vd_cnt : Uint32_wrapper.uint32;
gnu_ext_elf64_vd_hash : Uint32_wrapper.uint32;
gnu_ext_elf64_vd_aux : Uint32_wrapper.uint32;
gnu_ext_elf64_vd_next : Uint32_wrapper.uint32;
}
val string_of_gnu_ext_elf32_verdef : gnu_ext_elf32_verdef -> string
val string_of_gnu_ext_elf64_verdef : gnu_ext_elf64_verdef -> string
val read_gnu_ext_elf32_verdef :
Endianness.endianness ->
Byte_sequence_wrapper.byte_sequence ->
(gnu_ext_elf32_verdef * Byte_sequence_wrapper.byte_sequence) Error.error
val read_gnu_ext_elf64_verdef :
Endianness.endianness ->
Byte_sequence_wrapper.byte_sequence ->
(gnu_ext_elf64_verdef * Byte_sequence_wrapper.byte_sequence) Error.error
val gnu_ext_elf32_verdef_size : Nat_big_num.num
val gnu_ext_elf64_verdef_size : Nat_big_num.num
type gnu_ext_elf32_veraux = {
gnu_ext_elf32_vda_name : Uint32_wrapper.uint32;
gnu_ext_elf32_vda_next : Uint32_wrapper.uint32;
}
type gnu_ext_elf64_veraux = {
gnu_ext_elf64_vda_name : Uint32_wrapper.uint32;
gnu_ext_elf64_vda_next : Uint32_wrapper.uint32;
}
val gnu_ext_elf32_veraux_size : Nat_big_num.num
val gnu_ext_elf64_veraux_size : Nat_big_num.num
val read_gnu_ext_elf32_veraux :
Endianness.endianness ->
Byte_sequence_wrapper.byte_sequence ->
(gnu_ext_elf32_veraux * Byte_sequence_wrapper.byte_sequence) Error.error
val read_gnu_ext_elf64_veraux :
Endianness.endianness ->
Byte_sequence_wrapper.byte_sequence ->
(gnu_ext_elf64_veraux * Byte_sequence_wrapper.byte_sequence) Error.error
val read_gnu_ext_elf64_veraux_table :
Endianness.endianness ->
Nat_big_num.num ->
Byte_sequence_wrapper.byte_sequence ->
(gnu_ext_elf64_veraux list * Byte_sequence_wrapper.byte_sequence) Error.error
val read_gnu_ext_elf64_verdef_table :
Endianness.endianness ->
Nat_big_num.num ->
Byte_sequence_wrapper.byte_sequence ->
((gnu_ext_elf64_verdef * gnu_ext_elf64_veraux list) list
* Byte_sequence_wrapper.byte_sequence)
Error.error
type gnu_ext_elf32_verneed = {
gnu_ext_elf32_vn_version : Uint32_wrapper.uint32;
gnu_ext_elf32_vn_cnt : Uint32_wrapper.uint32;
gnu_ext_elf32_vn_file : Uint32_wrapper.uint32;
gnu_ext_elf32_vn_aux : Uint32_wrapper.uint32;
gnu_ext_elf32_vn_next : Uint32_wrapper.uint32;
}
type gnu_ext_elf64_verneed = {
gnu_ext_elf64_vn_version : Uint32_wrapper.uint32;
gnu_ext_elf64_vn_cnt : Uint32_wrapper.uint32;
gnu_ext_elf64_vn_file : Uint32_wrapper.uint32;
gnu_ext_elf64_vn_aux : Uint32_wrapper.uint32;
gnu_ext_elf64_vn_next : Uint32_wrapper.uint32;
}
val gnu_ext_elf32_verneed_size : Nat_big_num.num
val gnu_ext_elf64_verneed_size : Nat_big_num.num
val read_gnu_ext_elf32_verneed :
Endianness.endianness ->
Byte_sequence_wrapper.byte_sequence ->
(gnu_ext_elf32_verneed * Byte_sequence_wrapper.byte_sequence) Error.error
val read_gnu_ext_elf64_verneed :
Endianness.endianness ->
Byte_sequence_wrapper.byte_sequence ->
(gnu_ext_elf64_verneed * Byte_sequence_wrapper.byte_sequence) Error.error
type gnu_ext_elf32_vernaux = {
gnu_ext_elf32_vna_hash : Uint32_wrapper.uint32;
gnu_ext_elf32_vna_flags : Uint32_wrapper.uint32;
gnu_ext_elf32_vna_other : Uint32_wrapper.uint32;
gnu_ext_elf32_vna_name : Uint32_wrapper.uint32;
gnu_ext_elf32_vna_next : Uint32_wrapper.uint32;
}
type gnu_ext_elf64_vernaux = {
gnu_ext_elf64_vna_hash : Uint32_wrapper.uint32;
gnu_ext_elf64_vna_flags : Uint32_wrapper.uint32;
gnu_ext_elf64_vna_other : Uint32_wrapper.uint32;
gnu_ext_elf64_vna_name : Uint32_wrapper.uint32;
gnu_ext_elf64_vna_next : Uint32_wrapper.uint32;
}
val string_of_gnu_ext_elf32_vernaux : gnu_ext_elf32_vernaux -> string
val string_of_gnu_ext_elf64_vernaux : gnu_ext_elf64_vernaux -> string
val gnu_ext_elf32_vernaux_size : Nat_big_num.num
val gnu_ext_elf64_vernaux_size : Nat_big_num.num
val read_gnu_ext_elf32_vernaux :
Endianness.endianness ->
Byte_sequence_wrapper.byte_sequence ->
(gnu_ext_elf32_vernaux * Byte_sequence_wrapper.byte_sequence) Error.error
val read_gnu_ext_elf64_vernaux :
Endianness.endianness ->
Byte_sequence_wrapper.byte_sequence ->
(gnu_ext_elf64_vernaux * Byte_sequence_wrapper.byte_sequence) Error.error
val read_gnu_ext_elf64_vernaux_table :
Endianness.endianness ->
Nat_big_num.num ->
Byte_sequence_wrapper.byte_sequence ->
(gnu_ext_elf64_vernaux list * Byte_sequence_wrapper.byte_sequence)
Error.error
val read_gnu_ext_elf64_verneed_table :
Endianness.endianness ->
Nat_big_num.num ->
Byte_sequence_wrapper.byte_sequence ->
((gnu_ext_elf64_verneed * gnu_ext_elf64_vernaux list) list
* Byte_sequence_wrapper.byte_sequence)
Error.error
type gnu_ext_interpreted_verdef = {
gnu_ext_interpreted_verdef_version : Nat_big_num.num;
gnu_ext_interpreted_verdef_flags : Nat_big_num.num;
gnu_ext_interpreted_verdef_ndx : Nat_big_num.num;
gnu_ext_interpreted_verdef_hash : Nat_big_num.num;
gnu_ext_interpreted_verdef_name : string;
gnu_ext_interpreted_verdef_parents : string list;
}
type gnu_ext_interpreted_verneed = {
gnu_ext_interpreted_verneed_version : Nat_big_num.num;
gnu_ext_interpreted_verneed_file : string;
}
type gnu_ext_interpreted_vernaux = {
gnu_ext_interpreted_vernaux_hash : Nat_big_num.num;
gnu_ext_interpreted_vernaux_flags : Nat_big_num.num;
gnu_ext_interpreted_vernaux_other : Nat_big_num.num;
gnu_ext_interpreted_vernaux_name : string;
gnu_ext_interpreted_vernaux_verneed : gnu_ext_interpreted_verneed;
}
type gnu_ext_interpreted_versym_table = {
gnu_ext_interpreted_versym_table_entries : gnu_ext_interpreted_versym_entry list;
gnu_ext_interpreted_versym_table_verdef : gnu_ext_interpreted_verdef list;
gnu_ext_interpreted_versym_table_verneed : gnu_ext_interpreted_vernaux list;
}
val gnu_ext_verdef_base_unspecified : Nat_big_num.num
val gnu_ext_verdef_base_versioned : Nat_big_num.num
val obtain_gnu_ext_elf64_interpreted_versym_table_symbols :
Endianness.endianness ->
Elf_file.elf64_file ->
(Nat_big_num.num * (Nat_big_num.num, 'a) Elf_dynamic.dyn_value) list ->
gnu_ext_interpreted_versym_entry list option Error.error
val obtain_gnu_ext_elf64_interpreted_verdef_table :
Endianness.endianness ->
Elf_file.elf64_file ->
(Nat_big_num.num * (Nat_big_num.num, 'a) Elf_dynamic.dyn_value) list ->
gnu_ext_interpreted_verdef list option Error.error
val obtain_gnu_ext_elf64_interpreted_verneed_table :
Endianness.endianness ->
Elf_file.elf64_file ->
(Nat_big_num.num * (Nat_big_num.num, 'a) Elf_dynamic.dyn_value) list ->
gnu_ext_interpreted_vernaux list option Error.error
val obtain_gnu_ext_elf64_interpreted_versym_table :
Elf_file.elf64_file ->
(Nat_big_num.num * (Nat_big_num.num, 'a) Elf_dynamic.dyn_value) list ->
gnu_ext_interpreted_versym_table option Error.error
type gnu_ext_interpreted_verdef_lookup =
| GnuExtInterpretedVerdefLocal
| GnuExtInterpretedVerdefGlobal
| GnuExtInterpretedVerdefVersion of gnu_ext_interpreted_verdef
| GnuExtInterpretedVerdefHidden of gnu_ext_interpreted_verdef
val get_gnu_ext_interpreted_verdef :
gnu_ext_interpreted_versym_table ->
Nat_big_num.num ->
gnu_ext_interpreted_verdef_lookup Error.error
val get_gnu_ext_interpreted_verneed :
gnu_ext_interpreted_versym_table ->
Nat_big_num.num ->
gnu_ext_interpreted_vernaux option Error.error
sectionYPositions = computeSectionYPositions($el), 10)"
x-init="setTimeout(() => sectionYPositions = computeSectionYPositions($el), 10)"
>