package linksem

  1. Overview
  2. Docs
Legend:
Library
Module
Module type
Parameter
Class
Class type
type linkable_object =
  1. | RelocELF of Elf_memory_image.elf_memory_image
  2. | SharedELF of Elf_memory_image.elf_memory_image
  3. | ScriptAST of script
  4. | ControlScriptDefs
val string_of_linkable_object : linkable_object -> string
val short_string_of_linkable_item : ('a * (string * 'b * ('c * Input_list.origin_coord list)) * 'd) -> string
val instance_Show_Show_Linkable_list_linkable_object_dict : linkable_object Show.show_class
type linkable_list = linkable_item list
type symbol_resolution_oracle = linkable_list -> int -> string -> int list
type binding_list = binding list
type binding_map = (string, (Nat_big_num.num * binding) list) Pmap.map
val string_of_linkable : ('a * (string * Input_list.input_blob * (Command_line.input_unit * Input_list.origin_coord list)) * 'b) -> string
val all_definitions_by_name : linkable_item list -> (string, (Nat_big_num.num * Memory_image.symbol_definition * linkable_item) list) Pmap.map
OCaml

Innovation. Community. Security.