package linksem

You can search for identifiers within the package.

in-package search v0.2.0

linksem_zarith

Legend:
Library
Module
Module type
Parameter
Class
Class type

type input_file_spec =

| Filename of string
| 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 = {

input_fmt : string;
input_libpath : string list;
input_link_sharedlibs : bool;
input_check_sections : bool;
input_copy_dt_needed : bool;
input_whole_archive : bool;
input_as_needed : bool;

}

val null_input_file_options : input_file_options

type output_kind =

| Executable
| SharedLibrary

type link_option =

| OutputFilename of string
| OutputKind of output_kind
| ForceCommonDefined of bool
| Soname of string
| EntryAddress of Nat_big_num.num
| TextSegmentStart of Nat_big_num.num
| RodataSegmentStart of Nat_big_num.num
| LdataSegmentStart of Nat_big_num.num
| BindFunctionsEarly
| BindNonFunctionsEarly

val tagEqual : link_option -> link_option -> bool

val instance_Basic_classes_Eq_Command_line_link_option_dict : 
  link_option Lem_basic_classes.eq_class

type input_file_and_options = input_file_spec * input_file_options

type input_unit =

| File of input_file_and_options
| Group of input_file_and_options list
| 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 = {

input_units : input_unit list;
link_options : link_option Pset.set;
current_input_options : input_file_options;
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