Legend:
Library
Module
Module type
Parameter
Class
Class type
Library
Module
Module type
Parameter
Class
Class type
val elfFileFeatureCompare :
Memory_image.elf_file_feature ->
Memory_image.elf_file_feature ->
int
val elfFileFeatureTagEquiv :
Memory_image.elf_file_feature ->
Memory_image.elf_file_feature ->
bool
val instance_Basic_classes_Ord_Memory_image_elf_file_feature_dict :
Memory_image.elf_file_feature Lem_basic_classes.ord_class
val tagCompare :
'a Lem_basic_classes.ord_class ->
'a Memory_image.range_tag ->
'a Memory_image.range_tag ->
int
val instance_Basic_classes_Ord_Memory_image_range_tag_dict :
'abifeature Lem_basic_classes.ord_class ->
'abifeature Memory_image.range_tag Lem_basic_classes.ord_class
val tagEquiv :
'a Abi_classes.abiFeatureTagEquiv_class ->
'a Memory_image.range_tag ->
'a Memory_image.range_tag ->
bool
val unique_tag_matching :
'abifeature Lem_basic_classes.ord_class ->
'abifeature Abi_classes.abiFeatureTagEquiv_class ->
'abifeature Memory_image.range_tag ->
'abifeature Memory_image.annotated_memory_image ->
'abifeature Memory_image.range_tag
val tagged_ranges_matching_tag :
'abifeature Lem_basic_classes.ord_class ->
'abifeature Abi_classes.abiFeatureTagEquiv_class ->
'abifeature Memory_image.range_tag ->
'abifeature Memory_image.annotated_memory_image ->
('abifeature Memory_image.range_tag * Memory_image.element_range option) list
val element_range_compare :
(string * (Nat_big_num.num * Nat_big_num.num)) ->
(string * (Nat_big_num.num * Nat_big_num.num)) ->
int
val unique_tag_matching_at_range_exact :
'abifeature Lem_basic_classes.ord_class ->
'abifeature Abi_classes.abiFeatureTagEquiv_class ->
Memory_image.element_range option ->
'abifeature Memory_image.range_tag ->
'abifeature Memory_image.annotated_memory_image ->
'abifeature Memory_image.range_tag
val symbol_def_ranges :
'abifeature Lem_basic_classes.ord_class ->
'abifeature Abi_classes.abiFeatureTagEquiv_class ->
'abifeature Memory_image.annotated_memory_image ->
'abifeature Memory_image.range_tag list
* Memory_image.element_range option list
val name_of_symbol_def : Memory_image.symbol_definition -> string
val defined_symbols_and_ranges :
'a Lem_basic_classes.ord_class ->
'a Abi_classes.abiFeatureTagEquiv_class ->
'a Memory_image.annotated_memory_image ->
(Memory_image.element_range option * Memory_image.symbol_definition) list
val make_ranges_definite :
Memory_image.element_range option list ->
(string * Memory_image.range) list
val find_defs_matching :
Memory_image.symbol_definition ->
(Memory_image.element_range option * Memory_image.symbol_definition) list ->
(Memory_image.element_range option * Memory_image.symbol_definition) list
val defined_symbols :
'a Lem_basic_classes.ord_class ->
'a Abi_classes.abiFeatureTagEquiv_class ->
'a Memory_image.annotated_memory_image ->
Memory_image.symbol_definition list
val default_get_reloc_symaddr :
'a ->
'b ->
Memory_image.symbol_definition ->
'c Memory_image.annotated_memory_image ->
(Memory_image.element_range option * Memory_image.symbol_definition) list ->
'd ->
Nat_big_num.num
sectionYPositions = computeSectionYPositions($el), 10)"
x-init="setTimeout(() => sectionYPositions = computeSectionYPositions($el), 10)"
>