package linksem

  1. Overview
  2. Docs
Legend:
Library
Module
Module type
Parameter
Class
Class type
type input_file_spec =
  1. | Filename of string
  2. | Libname of string
val string_of_input_file_spec : input_file_spec -> string
val instance_Show_Show_Command_line_input_file_spec_dict : input_file_spec Show.show_class
type input_file_options = {
  1. input_fmt : string;
  2. input_libpath : string list;
  3. input_check_sections : bool;
  4. input_copy_dt_needed : bool;
  5. input_whole_archive : bool;
  6. input_as_needed : bool;
}
val null_input_file_options : input_file_options
type output_kind =
  1. | Executable
  2. | SharedLibrary
val tagEqual : link_option -> link_option -> bool
type input_file_and_options = input_file_spec * input_file_options
type input_unit =
  1. | File of input_file_and_options
  2. | Group of input_file_and_options list
  3. | BuiltinControlScript
val string_of_input_unit : input_unit -> string
val instance_Show_Show_Command_line_input_unit_dict : input_unit Show.show_class
type command_state = {
  1. input_units : input_unit list;
  2. current_input_options : input_file_options;
  3. current_group : input_file_and_options list option;
}
val initial_state0 : command_state list
type interpreted_command_line = input_unit list * link_option Pset.set
val add_input_file : command_state list -> string -> command_state list
val start_group : command_state list -> command_state list
val end_group : command_state list -> command_state list
type option_token = string
type option_argspecs = string list * string list
type option_argvals = string list * string list
val set_or_replace_option : link_option -> command_state list -> command_state list
val find_option_matching_tag : link_option -> link_option Pset.set -> link_option option
val extract_hex_addend : char -> Nat_big_num.num option
val accumulate_hex_chars : Nat_big_num.num -> char list -> Nat_big_num.num
val extract_dec_addend : char -> Nat_big_num.num option
val accumulate_dec_chars : Nat_big_num.num -> char list -> Nat_big_num.num
val parse_address : string -> Nat_big_num.num
type option_def = option_token list * option_argspecs * (option_argvals -> command_state list -> command_state list) * string
val command_line_table : (string list * (string list * string list) * ((string list * string list) -> command_state list -> command_state list) * string) list
val delete_trailing_equals : string -> string option
val string_following_equals_at : Nat_num.nat -> string -> string option
val equal_modulo_trailing_equals : string -> string -> bool
val matching_arg_and_alias : string -> (string list * (string list * string list) * (option_argvals -> command_state list -> command_state list) * string) list -> (string * (string list * (string list * string list) * (option_argvals -> command_state list -> command_state list) * string)) option
val read_one_arg : command_state list -> string list -> command_state list * string list
val foldl_suffix : ('a -> 'b list -> 'a * 'b list) -> 'a -> 'b list -> 'a
val cook_argv : string list -> string list -> string list
val command_line : unit -> input_unit list * link_option Pset.set