package linksem

  1. Overview
  2. Docs
Legend:
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 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 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 make_ranges_definite : Memory_image.element_range option list -> (string * Memory_image.range) list