package coccinelle
val debugger : bool ref
val show_trace_profile : bool ref
val verbose_level : int ref
val disable_pr2_once : bool ref
val save_tmp_files : bool ref
module BasicType : sig ... end
module Infix : sig ... end
val _tab_level_print : int ref
val _prefix_pr : string ref
val _chan_pr2 : out_channel option ref
val print_to_stderr : bool ref
val _already_printed : (string, bool) Hashtbl.t
val mk_pr2_wrappers : bool ref -> (string -> unit) * (string -> unit)
val redirect_stdout_opt : filename option -> (unit -> 'a) -> 'a
val redirect_stdout_stderr : filename -> (unit -> unit) -> unit
val redirect_stdin : filename -> (unit -> 'a) -> 'a
val redirect_stdin_opt : filename option -> (unit -> 'a) -> 'a
val spf : ('a, unit, string) format -> 'a
val _chan : out_channel ref
val _trace_var : int ref
val _debug : bool ref
val _list_bool : (string * bool) list ref
type score = (string, score_result) Hashtbl.t
type score_list = (string * score_result) list
val empty_score : unit -> score
val load_score : string -> unit -> score
val save_score : score -> string -> unit
val total_scores : score -> int * int
val print_score : score -> unit
val print_total_score : score -> unit
val ig : int gen
val polyg : int gen
val ng : string gen
val oneofl : 'a list -> 'a gen
val always : 'a -> 'a gen
val frequencyl : (int * 'a) list -> 'a gen
val laws : string -> ('a -> bool) -> 'a gen -> 'a option
val laws2 :
string ->
('a -> bool * 'b) ->
'a gen ->
'a option * (int * 'b) list
val get_value : filename -> 'a
val read_value : filename -> 'a
val write_value : 'a -> filename -> unit
val write_back : ('a -> 'b) -> filename -> unit
val marshal__to_string : 'a -> Marshal.extern_flags list -> string
val _counter : int ref
val _counter2 : int ref
val _counter3 : int ref
val (+!>) : 'a ref -> ('a -> 'a) -> unit
val add_hook : ('a -> ('a -> 'b) -> 'b) ref -> ('a -> ('a -> 'b) -> 'b) -> unit
val add_hook_action : ('a -> unit) -> ('a -> unit) list ref -> unit
val run_hooks_action : 'a -> ('a -> unit) list ref -> unit
val save_excursion : 'a ref -> (unit -> 'b) -> 'b
val save_excursion_and_disable : bool ref -> (unit -> 'b) -> 'b
val save_excursion_and_enable : bool ref -> (unit -> 'b) -> 'b
val memoized : ('a, 'b) Hashtbl.t -> 'a -> (unit -> 'b) -> 'b
val cache_in_ref : 'a option ref -> (unit -> 'a) -> 'a
val cache_computation :
?verbose:bool ->
?use_cache:bool ->
filename ->
string ->
(unit -> 'a) ->
'a
val acquire_file_lock : filename -> unit
val release_file_lock : filename -> unit
val evoval : evotype
type cmdline_options = arg_spec_full list
type options_with_title = string * string * arg_spec_full list
type cmdline_sections = options_with_title list
val parse_options :
cmdline_options ->
Arg.usage_msg ->
string array ->
string list
val usage : Arg.usage_msg -> cmdline_options -> unit
val short_usage : Arg.usage_msg -> short_opt:cmdline_options -> unit
val long_usage :
Arg.usage_msg ->
short_opt:cmdline_options ->
long_opt:cmdline_sections ->
unit
val arg_align2 : cmdline_options -> cmdline_options
val arg_parse2 :
cmdline_options ->
Arg.usage_msg ->
(unit -> unit) ->
string list
type action_spec = Arg.key * Arg.doc * action_func
type cmdline_actions = action_spec list
val mk_action_0_arg : (unit -> unit) -> action_func
val mk_action_1_arg : (string -> unit) -> action_func
val mk_action_2_arg : (string -> string -> unit) -> action_func
val mk_action_3_arg : (string -> string -> string -> unit) -> action_func
val mk_action_n_arg : (string list -> unit) -> action_func
val options_of_actions : string ref -> cmdline_actions -> cmdline_options
val action_list : cmdline_actions -> Arg.key list
val do_action : Arg.key -> string list -> cmdline_actions -> unit
val (<=>) : 'a -> 'a -> compare
val (+=) : int ref -> int -> unit
val (-=) : int ref -> int -> unit
val update_max_with_elem :
'a max_with_elem ->
is_better:(int -> int ref -> bool) ->
(int * 'a) ->
unit
val add : 'a numdict -> 'a -> 'a -> 'a
val mul : 'a numdict -> 'a -> 'a -> 'a
val div : 'a numdict -> 'a -> 'a -> 'a
val neg : 'a numdict -> 'a -> 'a
val numd_int : int numdict
val numd_float : float numdict
val testd : 'a numdict -> 'a -> 'a
module ArithFloatInfix : sig ... end
val partition_either : ('a -> ('b, 'c) either) -> 'a list -> 'b list * 'c list
val partition_either3 :
('a -> ('b, 'c, 'd) either3) ->
'a list ->
'b list * 'c list * 'd list
val regexp_alpha : Str.regexp
val regexp_int : Str.regexp
val regexp_word : Str.regexp
val _memo_compiled_regexp : (string, Str.regexp) Hashtbl.t
val (==~) : string -> Str.regexp -> bool
val string_match_substring : Str.regexp -> string -> bool
val filesuffix : filename -> string
val fileprefix : filename -> string
val dbe_of_filename : filename -> string * string * string
val dbe_of_filename_nodot : filename -> string * string * string
val filename_of_dbe : (string * string * string) -> filename
val is_relative : filename -> bool
val is_absolute : filename -> bool
val mk_date_dmy : int -> int -> int -> date_dmy
val check_date_dmy : date_dmy -> unit
val check_time_dmy : time_dmy -> unit
val check_time_hms : time_hms -> unit
val int_of_month : month -> int
val month_of_string : string -> month
val month_of_string_long : string -> month
val string_of_month : month -> string
val string_of_date_dmy : date_dmy -> string
val string_of_floattime : ?langage:langage -> float_time -> string
val short_string_of_floattime : ?langage:langage -> float_time -> string
val floattime_of_string : string -> float_time
val dmy_to_unixtime : date_dmy -> float_time * Unix.tm
val unixtime_to_floattime : Unix.tm -> float_time
val floattime_to_unixtime : float_time -> Unix.tm
val today : unit -> float_time
val yesterday : unit -> float_time
val tomorrow : unit -> float_time
val lastweek : unit -> float_time
val lastmonth : unit -> float_time
val week_before : float_time -> float_time
val month_before : float_time -> float_time
val week_after : float_time -> float_time
val days_in_week_of_day : float_time -> float_time list
val first_day_in_week_of_day : float_time -> float_time
val last_day_in_week_of_day : float_time -> float_time
val day_secs : float_time
val string_of_unix_time_lfs : Unix.tm -> string
val cat : filename -> string list
val cat_orig : filename -> string list
val cat_array : filename -> string array
val uncat : string list -> filename -> unit
val cmd_to_list_and_status : string -> string list * Unix.process_status
val _batch_mode : bool ref
val mkdir : ?mode:Unix.file_perm -> string -> unit
val write_file : file:filename -> string -> unit
val filesize : filename -> int
val filemtime : filename -> float
val nblines_file : filename -> int
val lfile_exists : filename -> bool
val is_directory : filename -> bool
val readdir_to_kind_list : string -> Unix.file_kind -> string list
val glob : string -> filename list
val files_of_dir_or_files : string -> string list -> filename list
val files_of_dir_or_files_no_vcs : string -> string list -> filename list
val files_of_dir_or_files_no_vcs_post_filter :
string ->
string list ->
filename list
val sanity_check_files_and_adjust : string -> string list -> filename list
val file_perm_of : u:rwx -> g:rwx -> o:rwx -> Unix.file_perm
val with_open_outfile :
filename ->
(((string -> unit) * out_channel) -> 'a) ->
'a
val with_open_infile : filename -> (in_channel -> 'a) -> 'a
val with_open_outfile_append :
filename ->
(((string -> unit) * out_channel) -> 'a) ->
'a
val with_open_stringbuf : (((string -> unit) * Buffer.t) -> unit) -> string
val _temp_files_created : string list ref
val temp_files : string ref
val new_temp_file : string -> string -> filename
val erase_this_temp_file : filename -> unit
val uncons_permut_lazy : 'a list -> (('a * int) * 'a list Lazy.t) list
val int_of_idx : idx -> int
val make_matrix_init :
nrow:int ->
ncolumn:int ->
(int -> int -> 'a) ->
'a matrix
val iter_matrix : (int -> int -> 'a -> unit) -> 'a matrix -> unit
val nb_rows_matrix : 'a matrix -> int
val nb_columns_matrix : 'a matrix -> int
val rows_of_matrix : 'a matrix -> 'a list list
val columns_of_matrix : 'a matrix -> 'a list list
val all_elems_matrix_by_row : 'a matrix -> 'a list
val empty_set : 'a set
val single_set : 'a -> 'a set
val set : 'a list -> 'a set
val exists_set : ('a -> bool) -> 'a set -> bool
val forall_set : ('a -> bool) -> 'a set -> bool
val fold_set : ('a -> 'b -> 'a) -> 'a -> 'b set -> 'a
val member_set : 'a -> 'a set -> bool
val top_set : 'a set -> 'a
val card_set : 'a set -> int
val ($?$) : 'a -> 'a set -> bool
val assoc_to_function : ('a, 'b) assoc -> 'a -> 'b
val empty_assoc : ('a, 'b) assoc
val lookup_list : 'a -> ('a, 'b) assoc list -> 'b
val lookup_list2 : 'a -> ('a, 'b) assoc list -> 'b * int
val assoc_option : 'a -> ('a, 'b) assoc -> 'b option
val assoc_with_err_msg : 'a -> ('a, 'b) assoc -> 'b
val sort_by_val_lowfirst : ('a, 'b) assoc -> ('a * 'b) list
val sort_by_val_highfirst : ('a, 'b) assoc -> ('a * 'b) list
val sort_by_key_lowfirst : (int, 'b) assoc -> (int * 'b) list
val sort_by_key_highfirst : (int, 'b) assoc -> (int * 'b) list
val sortgen_by_key_lowfirst : ('a, 'b) assoc -> ('a * 'b) list
val sortgen_by_key_highfirst : ('a, 'b) assoc -> ('a * 'b) list
module IntMap : sig ... end
val intmap_to_list : 'a IntMap.t -> (IntMap.key * 'a) list
module IntIntMap : sig ... end
val intintmap_to_list : 'a IntIntMap.t -> (IntIntMap.key * 'a) list
val hcreate : unit -> ('a, 'b) Hashtbl.t
val hadd : ('a * 'b) -> ('a, 'b) Hashtbl.t -> unit
val hmem : 'a -> ('a, 'b) Hashtbl.t -> bool
val hfind : 'a -> ('a, 'b) Hashtbl.t -> 'b
val hreplace : ('a * 'b) -> ('a, 'b) Hashtbl.t -> unit
val hiter : ('a -> 'b -> unit) -> ('a, 'b) Hashtbl.t -> unit
val hfold : ('a -> 'b -> 'c -> 'c) -> ('a, 'b) Hashtbl.t -> 'c -> 'c
val hremove : 'a -> ('a, 'b) Hashtbl.t -> unit
val hfind_default : 'a -> (unit -> 'b) -> ('a, 'b) Hashtbl.t -> 'b
val hfind_option : 'a -> ('a, 'b) Hashtbl.t -> 'b option
val hupdate_default :
'a ->
('b -> 'b) ->
(unit -> 'b) ->
('a, 'b) Hashtbl.t ->
unit
val hash_to_list : ('a, 'b) Hashtbl.t -> ('a * 'b) list
val hash_to_list_unsorted : ('a, 'b) Hashtbl.t -> ('a * 'b) list
val hash_of_list : ('a * 'b) list -> ('a, 'b) Hashtbl.t
val hashadd_notest : ('a, 'b list) Hashtbl.t -> 'a -> 'b -> unit
val hkeys : ('a, 'b) Hashtbl.t -> 'a list
type !'a hashset = ('a, bool) Hashtbl.t
val hashset_to_set : < fromlist : 'a list -> 'c.. > -> ('a, 'b) Hashtbl.t -> 'c
val hashset_to_list : 'a hashset -> 'a list
val hashset_of_list : 'a list -> 'a hashset
val empty_stack : 'a stack
val top : 'a stack -> 'a
val top_option : 'a stack -> 'a option
val empty_undo_stack : 'a undo_stack
val push_undo : 'a -> 'a undo_stack -> 'a undo_stack
val top_undo : 'a undo_stack -> 'a
val pop_undo : 'a undo_stack -> 'a undo_stack
val redo_undo : 'a undo_stack -> 'a undo_stack
val undo_pop : 'a undo_stack -> 'a undo_stack
val top_undo_option : 'a undo_stack -> 'a option
val tree_iter : ('a -> unit) -> 'a tree -> unit
type point = vector
type color = vector
val vector_length : vector -> float
val diff : (int -> int -> diff -> unit) -> (string list * string list) -> unit
val diff2 : (int -> int -> diff -> unit) -> (string * string) -> unit
val fake_parse_info : parse_info
val string_of_parse_info : parse_info -> string
val string_of_parse_info_bis : parse_info -> string
val full_charpos_to_pos : filename -> (int * int) array
val complete_parse_info :
filename ->
(int * int) array ->
parse_info ->
parse_info
val info_from_charpos : int -> filename -> int * int * string
val error_message : filename -> (string * int) -> string
val error_message_short : filename -> (string * int) -> string
val error_messagebis : filename -> (string * int) -> int -> string
type (!'a, !'b) scoped_env = ('a, 'b) assoc list
val lookup_env : 'a -> ('a, 'b) scoped_env -> 'b
val member_env_key : 'a -> ('a, 'b) scoped_env -> bool
val new_scope : ('a, 'b) scoped_env ref -> unit
val del_scope : ('a, 'b) scoped_env ref -> unit
val do_in_new_scope : ('a, 'b) scoped_env ref -> (unit -> unit) -> unit
val add_in_scope : ('a, 'b) scoped_env ref -> ('a * 'b) -> unit
val empty_scoped_h_env : unit -> ('a, 'b) scoped_h_env
val clone_scoped_h_env : ('a, 'b) scoped_h_env -> ('a, 'b) scoped_h_env
val lookup_h_env : 'a -> ('a, 'b) scoped_h_env -> 'b
val member_h_env_key : 'a -> ('a, 'b) scoped_h_env -> bool
val new_scope_h : ('a, 'b) scoped_h_env ref -> unit
val del_scope_h : ('a, 'b) scoped_h_env ref -> unit
val clean_scope_h : ('a, 'b) scoped_h_env ref -> unit
val do_in_new_scope_h : ('a, 'b) scoped_h_env ref -> (unit -> unit) -> unit
val add_in_scope_h : ('a, 'b) scoped_h_env ref -> ('a * 'b) -> unit
val _execute_and_show_progress_func :
(int -> ((unit -> unit) -> unit) -> unit) ref
val cmdline_flags_devel : unit -> cmdline_options
val cmdline_flags_verbose : unit -> cmdline_options
val cmdline_flags_other : unit -> cmdline_options
class !'a olist : 'a list -> object ... end
module StringSet : sig ... end
sectionYPositions = computeSectionYPositions($el), 10)"
x-init="setTimeout(() => sectionYPositions = computeSectionYPositions($el), 10)"
>