package linksem

  1. Overview
  2. Docs

Module Input_listSource

Sourcetype 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
Sourcetype 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
Sourceval string_of_origin_coord : origin_coord -> string
Sourceval instance_Show_Show_Input_list_origin_coord_dict : origin_coord Show.show_class
Sourcetype input_origin = Command_line.input_unit * origin_coord list
Sourcetype input_item = string * input_blob * input_origin
Sourceval string_of_input_blob : input_blob -> string
Sourceval instance_Show_Show_Input_list_input_blob_dict : input_blob Show.show_class
Sourceval short_string_of_input_item : (string * 'a * ('b * origin_coord list)) -> string
Sourcetype can_supply_function = input_item list -> int -> bool list
Sourcetype input_options = {
  1. item_fmt : string;
  2. item_check_sections : bool;
  3. item_copy_dt_needed : bool;
  4. item_force_output : bool;
}
Sourceval null_input_options : input_options
Sourceval string_of_input_options : 'a -> string
Sourceval instance_Show_Show_Input_list_input_options_dict : input_options Show.show_class
Sourcetype input_list = (input_item * input_options) list
Sourceval toplevel_dot_o_can_supply : 'a list -> 'b -> bool list
Sourceval toplevel_shared_can_supply : 'a list -> Nat_num.nat -> bool list
Sourceval toplevel_archive_can_supply : 'a list -> Nat_num.nat -> bool list
Sourceval lib_filename_from_spec : string -> string -> string
Sourceval find_library_in : string -> string list -> string list -> string option
Sourceval find_one_library_filename : Command_line.input_file_options -> string -> string
Sourceval open_file_and_expand : string -> Command_line.input_unit -> Nat_big_num.num -> (string * input_blob * (Command_line.input_unit * origin_coord list)) list
Sourceval 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
Sourceval elaborate_input_helper : Nat_big_num.num -> Command_line.input_unit list -> (input_item * input_options) list -> (input_item * input_options) list
Sourceval elaborate_input : Command_line.input_unit list -> (input_item * input_options) list