package linksem

  1. Overview
  2. Docs
package linksem
Legend:
Library
Module
Module type
Parameter
Class
Class type
type input_blob =
  1. | Reloc of Byte_sequence.byte_sequence0
  2. | Shared of Byte_sequence.byte_sequence0
  3. | Script of Byte_sequence.byte_sequence0
  4. | ControlScript
type origin_coord =
  1. | InArchive of Nat_big_num.num * Nat_big_num.num * string * Nat_big_num.num
  2. | InGroup of Nat_big_num.num * Nat_big_num.num
  3. | InCommandLine of Nat_big_num.num
  4. | Builtin
val string_of_origin_coord : origin_coord -> string
val instance_Show_Show_Input_list_origin_coord_dict : origin_coord Show.show_class
type input_origin = Command_line.input_unit * origin_coord list
type input_item = string * input_blob * input_origin
val string_of_input_blob : input_blob -> string
val instance_Show_Show_Input_list_input_blob_dict : input_blob Show.show_class
val short_string_of_input_item : (string * 'a * ('b * origin_coord list)) -> string
type can_supply_function = input_item list -> int -> bool list
type input_options = {
  1. item_fmt : string;
  2. item_check_sections : bool;
  3. item_copy_dt_needed : bool;
  4. item_force_output : bool;
}
val null_input_options : input_options
val string_of_input_options : 'a -> string
val instance_Show_Show_Input_list_input_options_dict : input_options Show.show_class
type input_list = (input_item * input_options) list
val toplevel_dot_o_can_supply : 'a list -> 'b -> bool list
val toplevel_shared_can_supply : 'a list -> Nat_num.nat -> bool list
val toplevel_archive_can_supply : 'a list -> Nat_num.nat -> bool list
val lib_filename_from_spec : string -> string -> string
val find_library_in : string -> string list -> string list -> string option
val find_one_library_filename : Command_line.input_file_options -> string -> string
val is_archive : Byte_sequence_wrapper.byte_sequence -> bool
val open_file_and_expand : string -> Command_line.input_unit -> Nat_big_num.num -> (string * input_blob * (Command_line.input_unit * origin_coord list)) list
val make_input_items_and_options : (string * input_blob * (Command_line.input_unit * origin_coord list)) list -> Command_line.input_file_options -> origin_coord list -> ((string * input_blob * (Command_line.input_unit * origin_coord list)) * input_options) list
val elaborate_input_helper : Nat_big_num.num -> Command_line.input_unit list -> (input_item * input_options) list -> (input_item * input_options) list
val elaborate_input : Command_line.input_unit list -> (input_item * input_options) list