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 input_section_rec = {
idx : Nat_big_num.num;
fname : string;
img : Elf_memory_image.elf_memory_image;
shndx : Nat_big_num.num;
secname : string;
isec : Elf_interpreted_section.elf64_interpreted_section;
}
type input_spec =
| Common of Nat_big_num.num * string * Elf_memory_image.elf_memory_image * Memory_image.symbol_definition
| InputSection of input_section_rec
type input_selector = input_spec list -> input_spec list
type address_expr = Memory_image.expr
type symbol_spec =
Nat_big_num.num * Uint32_wrapper.uint32 * Uint32_wrapper.uint32
type address_expr_fn_ref = Nat_big_num.num
type 'a address_expr_fn_map =
(address_expr_fn_ref, Nat_big_num.num -> 'a -> Nat_big_num.num) Pmap.map
type output_section_composition_element =
| IncludeInputSection of retain_policy * input_section_rec
| IncludeCommonSymbol of retain_policy * string * Nat_big_num.num * Memory_image.symbol_definition * Elf_memory_image.elf_memory_image
| Hole of address_expr_fn
| ProvideSymbol of symbol_def_policy * string * symbol_spec
and output_section_spec =
| OutputSectionSpec of output_guard * Nat_big_num.num option * string * output_section_composition_element list
and allocated_sections_map =
| AllocatedSectionsMap of (string, output_section_spec * Nat_big_num.num) Pmap.map
type script_element =
| DefineSymbol of symbol_def_policy * string * symbol_spec
| AdvanceAddress of address_expr_fn
| MarkAndAlignDataSegment of Nat_big_num.num * Nat_big_num.num
| MarkDataSegmentEnd
| MarkDataSegmentRelroEnd
| OutputSection of output_guard * address_expr_fn option * string * script_element list
| DiscardInput of input_selector
| InputQuery of retain_policy * sort_policy * input_selector
type linker_control_script = script_element list
type labelled_linker_control_script = (script_element * Nat_big_num.num) list
val default_symbol_spec :
Nat_big_num.num * Uint32_wrapper.uint32 * Uint32_wrapper.uint32
val only_sections : input_spec list -> input_spec list
val filter_and_concat :
(input_spec -> bool) ->
input_spec list ->
input_spec list
val name_matches : string -> input_spec -> bool
val file_matches : string -> input_spec -> bool
val compareInputSpecByNameThenAlignment : input_spec -> input_spec -> int
val compareInputSpecByAlignment : input_spec -> input_spec -> int
val compareInputSpecByName : input_spec -> input_spec -> int
val compareInputSpecByAlignmentThenName : input_spec -> input_spec -> int
val has_writability : 'a -> input_spec -> bool
val address_zero :
Nat_big_num.num ->
(Nat_big_num.num,
Nat_big_num.num ->
allocated_sections_map ->
Nat_big_num.num)
Pmap.map ->
Nat_big_num.num
* (Nat_big_num.num,
Nat_big_num.num ->
allocated_sections_map ->
Nat_big_num.num)
Pmap.map
* address_expr_fn
val do_output_section_layout_starting_at_addr :
Nat_big_num.num ->
allocated_sections_map ->
output_section_composition_element list ->
Nat_big_num.num * Nat_big_num.num list
val output_sec_composition_size_given_start_addr :
Nat_big_num.num ->
allocated_sections_map ->
output_section_composition_element list ->
Nat_big_num.num
val sizeof : string -> allocated_sections_map -> Nat_big_num.num
val alignof_output_section_composition_element :
output_section_composition_element ->
Nat_big_num.num
val alignof_output_section :
output_section_composition_element list ->
Nat_big_num.num
val default_linker_control_script :
Nat_big_num.num ->
(Nat_big_num.num,
Nat_big_num.num ->
allocated_sections_map ->
Nat_big_num.num)
Pmap.map ->
'a Memory_image.abi ->
Nat_big_num.num option ->
Nat_big_num.num option ->
'b ->
Nat_big_num.num ->
Nat_big_num.num
* (Nat_big_num.num,
Nat_big_num.num ->
allocated_sections_map ->
Nat_big_num.num)
Pmap.map
* script_element list
val interpret_guard :
output_guard ->
output_section_composition_element list ->
'a ->
bool
val label_script_aux :
Nat_big_num.num ->
script_element list ->
(script_element * Nat_big_num.num) list
val label_script :
script_element list ->
(script_element * Nat_big_num.num) list
type input_output_assignment =
input_spec list * (output_section_spec * Nat_big_num.num) list
val assign_inputs_to_output_sections :
(input_spec list * (output_section_spec * Nat_big_num.num) list) ->
(Nat_big_num.num * Nat_big_num.num) Pset.set ->
(Nat_big_num.num * Nat_big_num.num * Nat_big_num.num) Pset.set ->
input_spec list ->
(output_section_spec * Nat_big_num.num) option ->
input_spec option ->
(input_spec -> input_spec -> int) ->
labelled_linker_control_script ->
input_spec list * (output_section_spec * Nat_big_num.num) list
val compute_def_use_and_gc : allocated_sections_map -> allocated_sections_map
val output_section_type :
output_section_composition_element list ->
Nat_big_num.num
val output_section_flags :
output_section_composition_element list ->
Nat_big_num.num
val symbol_def_for_provide_symbol :
string ->
Nat_big_num.num ->
Uint32_wrapper.uint32 ->
Uint32_wrapper.uint32 ->
Nat_big_num.num ->
Memory_image.symbol_definition
val assign_dot_to_itself :
Nat_big_num.num ->
(Nat_big_num.num,
Nat_big_num.num ->
allocated_sections_map ->
Nat_big_num.num)
Pmap.map ->
Nat_big_num.num
* (Nat_big_num.num,
Nat_big_num.num ->
allocated_sections_map ->
Nat_big_num.num)
Pmap.map
* address_expr_fn
val build_image :
'a Memory_image.abi ->
(address_expr_fn_ref,
Nat_big_num.num ->
allocated_sections_map ->
Nat_big_num.num)
Pmap.map ->
Elf_memory_image.elf_memory_image ->
Nat_big_num.num ->
allocated_sections_map ->
(string,
(Nat_big_num.num
* ((Nat_big_num.num
* Memory_image.symbol_reference
* Linkable_list.linkable_item)
* (Nat_big_num.num
* Memory_image.symbol_definition
* Linkable_list.linkable_item)
option))
list)
Pmap.map ->
(script_element * Nat_big_num.num) list ->
Nat_big_num.num ->
'b ->
Abis.any_abi_feature Memory_image.annotated_memory_image
* allocated_sections_map
val default_place_orphans :
(input_spec list * (output_section_spec * Nat_big_num.num) list) ->
input_spec list ->
input_spec list * (output_section_spec * Nat_big_num.num) list
val interpret_linker_control_script :
(address_expr_fn_ref,
Nat_big_num.num ->
allocated_sections_map ->
Nat_big_num.num)
Pmap.map ->
script_element list ->
Linkable_list.linkable_item list ->
Nat_big_num.num ->
'a Memory_image.abi ->
input_spec list ->
(input_spec -> input_spec -> int) ->
((input_spec list * (output_section_spec * Nat_big_num.num) list) ->
input_spec list ->
'b * (output_section_spec * Nat_big_num.num) list) ->
(string,
(Nat_big_num.num
* ((Nat_big_num.num
* Memory_image.symbol_reference
* Linkable_list.linkable_item)
* (Nat_big_num.num
* Memory_image.symbol_definition
* Linkable_list.linkable_item)
option))
list)
Pmap.map ->
Abis.any_abi_feature Memory_image.annotated_memory_image
* (string, (Nat_big_num.num * Linkable_list.binding) list) Pmap.map
sectionYPositions = computeSectionYPositions($el), 10)"
x-init="setTimeout(() => sectionYPositions = computeSectionYPositions($el), 10)"
>