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
type script = Byte_sequence.byte_sequence0
type linkable_object =
| RelocELF of Elf_memory_image.elf_memory_image
| ScriptAST of script
| ControlScriptDefs
val string_of_linkable_object : linkable_object -> string
type linkable_item =
linkable_object * Input_list.input_item * Input_list.input_options
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 =
(Nat_big_num.num * Memory_image.symbol_reference * linkable_item)
* (Nat_big_num.num * Memory_image.symbol_definition * linkable_item) option
type binding_list = binding list
type binding_map = (string, (Nat_big_num.num * binding) list) Pmap.map
val image_of_linkable_item :
(linkable_object * 'a * 'b) ->
Abis.any_abi_feature Memory_image.annotated_memory_image
val linkable_item_of_input_item_and_options :
'a Memory_image.abi ->
(string
* Input_list.input_blob
* (Command_line.input_unit * Input_list.origin_coord list)) ->
Input_list.input_options ->
linkable_object
* (string
* Input_list.input_blob
* (Command_line.input_unit * Input_list.origin_coord list))
* Input_list.input_options
val string_of_linkable :
('a
* (string
* Input_list.input_blob
* (Command_line.input_unit * Input_list.origin_coord list))
* 'b) ->
string
val add_definition_to_map :
(Nat_big_num.num
* Memory_image.symbol_definition
* (linkable_object * Input_list.input_item * Input_list.input_options)) ->
(string,
(Nat_big_num.num
* Memory_image.symbol_definition
* (linkable_object * Input_list.input_item * Input_list.input_options))
list)
Pmap.map ->
(string,
(Nat_big_num.num
* Memory_image.symbol_definition
* (linkable_object * Input_list.input_item * Input_list.input_options))
list)
Pmap.map
val all_definitions_by_name :
linkable_item list ->
(string,
(Nat_big_num.num * Memory_image.symbol_definition * linkable_item) list)
Pmap.map
type binding_oracle =
linkable_list ->
(string,
(Nat_big_num.num * Memory_image.symbol_definition * linkable_item) list)
Pmap.map ->
(Nat_big_num.num * Memory_image.symbol_reference * linkable_item) ->
(Nat_big_num.num * Memory_image.symbol_definition * linkable_item) option
val resolve_one_reference_default :
'a ->
'b ->
(string,
(Nat_big_num.num * Memory_image.symbol_definition * linkable_item) list)
Pmap.map ->
(Nat_big_num.num
* Memory_image.symbol_reference
* ('c * (string * 'd * ('e * Input_list.origin_coord list)) * 'f)) ->
(Nat_big_num.num
* Memory_image.symbol_definition
* (linkable_object
* (string
* Input_list.input_blob
* (Command_line.input_unit * Input_list.origin_coord list))
* Input_list.input_options))
option
val resolve_all :
'a ->
'b ->
('a ->
'b ->
(Nat_big_num.num
* Memory_image.symbol_reference
* (linkable_object * Input_list.input_item * Input_list.input_options)) ->
(Nat_big_num.num * Memory_image.symbol_definition * linkable_item) option) ->
(Nat_big_num.num
* Memory_image.symbol_reference
* (linkable_object * Input_list.input_item * Input_list.input_options))
list ->
((Nat_big_num.num
* Memory_image.symbol_reference
* (linkable_object * Input_list.input_item * Input_list.input_options))
* (Nat_big_num.num * Memory_image.symbol_definition * linkable_item) option)
list
val resolve_undefs_in_one_object :
(linkable_object * Input_list.input_item * Input_list.input_options) list ->
'a ->
((linkable_object * Input_list.input_item * Input_list.input_options) list ->
'a ->
(Nat_big_num.num
* Memory_image.symbol_reference
* (linkable_object * Input_list.input_item * Input_list.input_options)) ->
(Nat_big_num.num * Memory_image.symbol_definition * linkable_item) option) ->
Nat_big_num.num ->
((Nat_big_num.num * Memory_image.symbol_reference * linkable_item)
* (Nat_big_num.num * Memory_image.symbol_definition * linkable_item) option)
list
val accumulate_bindings_bf :
'a ->
(linkable_object * Input_list.input_item * Input_list.input_options) list ->
(string,
(Nat_big_num.num * Memory_image.symbol_definition * linkable_item) list)
Pmap.map ->
Nat_big_num.num Pset.set ->
Nat_big_num.num list ->
((Nat_big_num.num * Memory_image.symbol_reference * linkable_item)
* (Nat_big_num.num * Memory_image.symbol_definition * linkable_item) option)
list ->
((Nat_big_num.num * Memory_image.symbol_reference * linkable_item)
* (Nat_big_num.num * Memory_image.symbol_definition * linkable_item) option)
list
val accumulate_bindings_objectwise_df :
'a ->
(linkable_object * Input_list.input_item * Input_list.input_options) list ->
(string,
(Nat_big_num.num * Memory_image.symbol_definition * linkable_item) list)
Pmap.map ->
((Nat_big_num.num * Memory_image.symbol_reference * linkable_item)
* (Nat_big_num.num * Memory_image.symbol_definition * linkable_item) option)
list ->
Nat_big_num.num Pset.set ->
Nat_big_num.num list ->
((Nat_big_num.num * Memory_image.symbol_reference * linkable_item)
* (Nat_big_num.num * Memory_image.symbol_definition * linkable_item) option)
list
sectionYPositions = computeSectionYPositions($el), 10)"
x-init="setTimeout(() => sectionYPositions = computeSectionYPositions($el), 10)"
>