Memory_image_orderings (p.linksem.0.8.doc.linksem_zarith.Memory_image

Source

val elfFileFeatureCompare : 
  Memory_image.elf_file_feature ->
  Memory_image.elf_file_feature ->
  int

Source

val elfFileFeatureTagEquiv : 
  Memory_image.elf_file_feature ->
  Memory_image.elf_file_feature ->
  bool

Source

val instance_Basic_classes_Ord_Memory_image_elf_file_feature_dict : 
  Memory_image.elf_file_feature Lem_basic_classes.ord_class

Source

val tagCompare : 
  'a Lem_basic_classes.ord_class ->
  'a Memory_image.range_tag ->
  'a Memory_image.range_tag ->
  int

Source

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

Source

val tagEquiv : 
  'a Abi_classes.abiFeatureTagEquiv_class ->
  'a Memory_image.range_tag ->
  'a Memory_image.range_tag ->
  bool

Source

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

Source

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

Source

val element_range_compare : 
  (string * (Nat_big_num.num * Nat_big_num.num)) ->
  (string * (Nat_big_num.num * Nat_big_num.num)) ->
  int

Source

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

Source

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

Sourceval name_of_symbol_def : Memory_image.symbol_definition -> string

Source

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

Source

val make_ranges_definite : 
  Memory_image.element_range option list ->
  (string * Memory_image.range) list

Source

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

Source

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

Source

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