<html><head>
<link rel="stylesheet" href="style.css" type="text/css">
<meta content="text/html; charset=iso-8859-1" http-equiv="Content-Type">
<meta name="viewport" content="width=device-width, initial-scale=1">
<link rel="Start" href="index.html">
<link title="Index of types" rel=Appendix href="index_types.html">
<link title="Index of exceptions" rel=Appendix href="index_exceptions.html">
<link title="Index of values" rel=Appendix href="index_values.html">
<link title="Index of modules" rel=Appendix href="index_modules.html">
<link title="Index of module types" rel=Appendix href="index_module_types.html">
<link title="Arg" rel="Chapter" href="Arg.html">
<link title="Arg_helper" rel="Chapter" href="Arg_helper.html">
<link title="Array" rel="Chapter" href="Array.html">
<link title="ArrayLabels" rel="Chapter" href="ArrayLabels.html">
<link title="Ast_helper" rel="Chapter" href="Ast_helper.html">
<link title="Ast_invariants" rel="Chapter" href="Ast_invariants.html">
<link title="Ast_iterator" rel="Chapter" href="Ast_iterator.html">
<link title="Ast_mapper" rel="Chapter" href="Ast_mapper.html">
<link title="Asttypes" rel="Chapter" href="Asttypes.html">
<link title="Attr_helper" rel="Chapter" href="Attr_helper.html">
<link title="Bigarray" rel="Chapter" href="Bigarray.html">
<link title="Buffer" rel="Chapter" href="Buffer.html">
<link title="Build_path_prefix_map" rel="Chapter" href="Build_path_prefix_map.html">
<link title="Builtin_attributes" rel="Chapter" href="Builtin_attributes.html">
<link title="Bytes" rel="Chapter" href="Bytes.html">
<link title="BytesLabels" rel="Chapter" href="BytesLabels.html">
<link title="Callback" rel="Chapter" href="Callback.html">
<link title="CamlinternalFormat" rel="Chapter" href="CamlinternalFormat.html">
<link title="CamlinternalFormatBasics" rel="Chapter" href="CamlinternalFormatBasics.html">
<link title="CamlinternalLazy" rel="Chapter" href="CamlinternalLazy.html">
<link title="CamlinternalMod" rel="Chapter" href="CamlinternalMod.html">
<link title="CamlinternalOO" rel="Chapter" href="CamlinternalOO.html">
<link title="Ccomp" rel="Chapter" href="Ccomp.html">
<link title="Char" rel="Chapter" href="Char.html">
<link title="Clflags" rel="Chapter" href="Clflags.html">
<link title="Complex" rel="Chapter" href="Complex.html">
<link title="Condition" rel="Chapter" href="Condition.html">
<link title="Config" rel="Chapter" href="Config.html">
<link title="Consistbl" rel="Chapter" href="Consistbl.html">
<link title="Depend" rel="Chapter" href="Depend.html">
<link title="Digest" rel="Chapter" href="Digest.html">
<link title="Docstrings" rel="Chapter" href="Docstrings.html">
<link title="Dynlink" rel="Chapter" href="Dynlink.html">
<link title="Ephemeron" rel="Chapter" href="Ephemeron.html">
<link title="Event" rel="Chapter" href="Event.html">
<link title="Filename" rel="Chapter" href="Filename.html">
<link title="Float" rel="Chapter" href="Float.html">
<link title="Format" rel="Chapter" href="Format.html">
<link title="Gc" rel="Chapter" href="Gc.html">
<link title="Genlex" rel="Chapter" href="Genlex.html">
<link title="Graphics" rel="Chapter" href="Graphics.html">
<link title="GraphicsX11" rel="Chapter" href="GraphicsX11.html">
<link title="Hashtbl" rel="Chapter" href="Hashtbl.html">
<link title="Identifiable" rel="Chapter" href="Identifiable.html">
<link title="Int32" rel="Chapter" href="Int32.html">
<link title="Int64" rel="Chapter" href="Int64.html">
<link title="Lazy" rel="Chapter" href="Lazy.html">
<link title="Lexer" rel="Chapter" href="Lexer.html">
<link title="Lexing" rel="Chapter" href="Lexing.html">
<link title="List" rel="Chapter" href="List.html">
<link title="ListLabels" rel="Chapter" href="ListLabels.html">
<link title="Location" rel="Chapter" href="Location.html">
<link title="Longident" rel="Chapter" href="Longident.html">
<link title="Map" rel="Chapter" href="Map.html">
<link title="Marshal" rel="Chapter" href="Marshal.html">
<link title="Misc" rel="Chapter" href="Misc.html">
<link title="MoreLabels" rel="Chapter" href="MoreLabels.html">
<link title="Mutex" rel="Chapter" href="Mutex.html">
<link title="Nativeint" rel="Chapter" href="Nativeint.html">
<link title="Numbers" rel="Chapter" href="Numbers.html">
<link title="Obj" rel="Chapter" href="Obj.html">
<link title="Oo" rel="Chapter" href="Oo.html">
<link title="Parse" rel="Chapter" href="Parse.html">
<link title="Parser" rel="Chapter" href="Parser.html">
<link title="Parsetree" rel="Chapter" href="Parsetree.html">
<link title="Parsing" rel="Chapter" href="Parsing.html">
<link title="Pervasives" rel="Chapter" href="Pervasives.html">
<link title="Pparse" rel="Chapter" href="Pparse.html">
<link title="Pprintast" rel="Chapter" href="Pprintast.html">
<link title="Printast" rel="Chapter" href="Printast.html">
<link title="Printexc" rel="Chapter" href="Printexc.html">
<link title="Printf" rel="Chapter" href="Printf.html">
<link title="Profile" rel="Chapter" href="Profile.html">
<link title="Queue" rel="Chapter" href="Queue.html">
<link title="Random" rel="Chapter" href="Random.html">
<link title="Scanf" rel="Chapter" href="Scanf.html">
<link title="Seq" rel="Chapter" href="Seq.html">
<link title="Set" rel="Chapter" href="Set.html">
<link title="Simplif" rel="Chapter" href="Simplif.html">
<link title="Sort" rel="Chapter" href="Sort.html">
<link title="Spacetime" rel="Chapter" href="Spacetime.html">
<link title="Stack" rel="Chapter" href="Stack.html">
<link title="StdLabels" rel="Chapter" href="StdLabels.html">
<link title="Str" rel="Chapter" href="Str.html">
<link title="Stream" rel="Chapter" href="Stream.html">
<link title="String" rel="Chapter" href="String.html">
<link title="StringLabels" rel="Chapter" href="StringLabels.html">
<link title="Strongly_connected_components" rel="Chapter" href="Strongly_connected_components.html">
<link title="Syntaxerr" rel="Chapter" href="Syntaxerr.html">
<link title="Sys" rel="Chapter" href="Sys.html">
<link title="Targetint" rel="Chapter" href="Targetint.html">
<link title="Tbl" rel="Chapter" href="Tbl.html">
<link title="Terminfo" rel="Chapter" href="Terminfo.html">
<link title="Thread" rel="Chapter" href="Thread.html">
<link title="ThreadUnix" rel="Chapter" href="ThreadUnix.html">
<link title="Typemod" rel="Chapter" href="Typemod.html">
<link title="Uchar" rel="Chapter" href="Uchar.html">
<link title="Unix" rel="Chapter" href="Unix.html">
<link title="UnixLabels" rel="Chapter" href="UnixLabels.html">
<link title="Warnings" rel="Chapter" href="Warnings.html">
<link title="Weak" rel="Chapter" href="Weak.html"><title>Misc</title>
</head>
<body>
<code class="code"><span class="keyword">sig</span><br>
<span class="keyword">val</span> fatal_error : string <span class="keywordsign">-></span> <span class="keywordsign">'</span>a<br>
<span class="keyword">val</span> fatal_errorf :<br>
(<span class="keywordsign">'</span>a, <span class="constructor">Format</span>.formatter, unit, <span class="keywordsign">'</span>b) <span class="constructor">Pervasives</span>.format4 <span class="keywordsign">-></span> <span class="keywordsign">'</span>a<br>
<span class="keyword">exception</span> <span class="constructor">Fatal_error</span><br>
<span class="keyword">val</span> try_finally : (unit <span class="keywordsign">-></span> <span class="keywordsign">'</span>a) <span class="keywordsign">-></span> (unit <span class="keywordsign">-></span> unit) <span class="keywordsign">-></span> <span class="keywordsign">'</span>a<br>
<span class="keyword">val</span> map_end : (<span class="keywordsign">'</span>a <span class="keywordsign">-></span> <span class="keywordsign">'</span>b) <span class="keywordsign">-></span> <span class="keywordsign">'</span>a list <span class="keywordsign">-></span> <span class="keywordsign">'</span>b list <span class="keywordsign">-></span> <span class="keywordsign">'</span>b list<br>
<span class="keyword">val</span> map_left_right : (<span class="keywordsign">'</span>a <span class="keywordsign">-></span> <span class="keywordsign">'</span>b) <span class="keywordsign">-></span> <span class="keywordsign">'</span>a list <span class="keywordsign">-></span> <span class="keywordsign">'</span>b list<br>
<span class="keyword">val</span> for_all2 : (<span class="keywordsign">'</span>a <span class="keywordsign">-></span> <span class="keywordsign">'</span>b <span class="keywordsign">-></span> bool) <span class="keywordsign">-></span> <span class="keywordsign">'</span>a list <span class="keywordsign">-></span> <span class="keywordsign">'</span>b list <span class="keywordsign">-></span> bool<br>
<span class="keyword">val</span> replicate_list : <span class="keywordsign">'</span>a <span class="keywordsign">-></span> int <span class="keywordsign">-></span> <span class="keywordsign">'</span>a list<br>
<span class="keyword">val</span> list_remove : <span class="keywordsign">'</span>a <span class="keywordsign">-></span> <span class="keywordsign">'</span>a list <span class="keywordsign">-></span> <span class="keywordsign">'</span>a list<br>
<span class="keyword">val</span> split_last : <span class="keywordsign">'</span>a list <span class="keywordsign">-></span> <span class="keywordsign">'</span>a list * <span class="keywordsign">'</span>a<br>
<span class="keyword">val</span> may : (<span class="keywordsign">'</span>a <span class="keywordsign">-></span> unit) <span class="keywordsign">-></span> <span class="keywordsign">'</span>a option <span class="keywordsign">-></span> unit<br>
<span class="keyword">val</span> may_map : (<span class="keywordsign">'</span>a <span class="keywordsign">-></span> <span class="keywordsign">'</span>b) <span class="keywordsign">-></span> <span class="keywordsign">'</span>a option <span class="keywordsign">-></span> <span class="keywordsign">'</span>b option<br>
<span class="keyword">type</span> ref_and_value = <span class="constructor">R</span> : <span class="keywordsign">'</span>a <span class="constructor">Pervasives</span>.ref * <span class="keywordsign">'</span>a <span class="keywordsign">-></span> <span class="constructor">Misc</span>.ref_and_value<br>
<span class="keyword">val</span> protect_refs : <span class="constructor">Misc</span>.ref_and_value list <span class="keywordsign">-></span> (unit <span class="keywordsign">-></span> <span class="keywordsign">'</span>a) <span class="keywordsign">-></span> <span class="keywordsign">'</span>a<br>
<span class="keyword">module</span> <span class="constructor">Stdlib</span> :<br>
<span class="keyword">sig</span><br>
<span class="keyword">module</span> <span class="constructor">List</span> :<br>
<span class="keyword">sig</span><br>
<span class="keyword">type</span> <span class="keywordsign">'</span>a t = <span class="keywordsign">'</span>a list<br>
<span class="keyword">val</span> compare :<br>
(<span class="keywordsign">'</span>a <span class="keywordsign">-></span> <span class="keywordsign">'</span>a <span class="keywordsign">-></span> int) <span class="keywordsign">-></span><br>
<span class="keywordsign">'</span>a <span class="constructor">Misc</span>.<span class="constructor">Stdlib</span>.<span class="constructor">List</span>.t <span class="keywordsign">-></span> <span class="keywordsign">'</span>a <span class="constructor">Misc</span>.<span class="constructor">Stdlib</span>.<span class="constructor">List</span>.t <span class="keywordsign">-></span> int<br>
<span class="keyword">val</span> equal :<br>
(<span class="keywordsign">'</span>a <span class="keywordsign">-></span> <span class="keywordsign">'</span>a <span class="keywordsign">-></span> bool) <span class="keywordsign">-></span><br>
<span class="keywordsign">'</span>a <span class="constructor">Misc</span>.<span class="constructor">Stdlib</span>.<span class="constructor">List</span>.t <span class="keywordsign">-></span> <span class="keywordsign">'</span>a <span class="constructor">Misc</span>.<span class="constructor">Stdlib</span>.<span class="constructor">List</span>.t <span class="keywordsign">-></span> bool<br>
<span class="keyword">val</span> filter_map :<br>
(<span class="keywordsign">'</span>a <span class="keywordsign">-></span> <span class="keywordsign">'</span>b option) <span class="keywordsign">-></span><br>
<span class="keywordsign">'</span>a <span class="constructor">Misc</span>.<span class="constructor">Stdlib</span>.<span class="constructor">List</span>.t <span class="keywordsign">-></span> <span class="keywordsign">'</span>b <span class="constructor">Misc</span>.<span class="constructor">Stdlib</span>.<span class="constructor">List</span>.t<br>
<span class="keyword">val</span> some_if_all_elements_are_some :<br>
<span class="keywordsign">'</span>a option <span class="constructor">Misc</span>.<span class="constructor">Stdlib</span>.<span class="constructor">List</span>.t <span class="keywordsign">-></span> <span class="keywordsign">'</span>a <span class="constructor">Misc</span>.<span class="constructor">Stdlib</span>.<span class="constructor">List</span>.t option<br>
<span class="keyword">val</span> map2_prefix :<br>
(<span class="keywordsign">'</span>a <span class="keywordsign">-></span> <span class="keywordsign">'</span>b <span class="keywordsign">-></span> <span class="keywordsign">'</span>c) <span class="keywordsign">-></span><br>
<span class="keywordsign">'</span>a <span class="constructor">Misc</span>.<span class="constructor">Stdlib</span>.<span class="constructor">List</span>.t <span class="keywordsign">-></span><br>
<span class="keywordsign">'</span>b <span class="constructor">Misc</span>.<span class="constructor">Stdlib</span>.<span class="constructor">List</span>.t <span class="keywordsign">-></span><br>
<span class="keywordsign">'</span>c <span class="constructor">Misc</span>.<span class="constructor">Stdlib</span>.<span class="constructor">List</span>.t * <span class="keywordsign">'</span>b <span class="constructor">Misc</span>.<span class="constructor">Stdlib</span>.<span class="constructor">List</span>.t<br>
<span class="keyword">val</span> split_at :<br>
int <span class="keywordsign">-></span><br>
<span class="keywordsign">'</span>a <span class="constructor">Misc</span>.<span class="constructor">Stdlib</span>.<span class="constructor">List</span>.t <span class="keywordsign">-></span><br>
<span class="keywordsign">'</span>a <span class="constructor">Misc</span>.<span class="constructor">Stdlib</span>.<span class="constructor">List</span>.t * <span class="keywordsign">'</span>a <span class="constructor">Misc</span>.<span class="constructor">Stdlib</span>.<span class="constructor">List</span>.t<br>
<span class="keyword">end</span><br>
<span class="keyword">module</span> <span class="constructor">Option</span> :<br>
<span class="keyword">sig</span><br>
<span class="keyword">type</span> <span class="keywordsign">'</span>a t = <span class="keywordsign">'</span>a option<br>
<span class="keyword">val</span> equal :<br>
(<span class="keywordsign">'</span>a <span class="keywordsign">-></span> <span class="keywordsign">'</span>a <span class="keywordsign">-></span> bool) <span class="keywordsign">-></span><br>
<span class="keywordsign">'</span>a <span class="constructor">Misc</span>.<span class="constructor">Stdlib</span>.<span class="constructor">Option</span>.t <span class="keywordsign">-></span> <span class="keywordsign">'</span>a <span class="constructor">Misc</span>.<span class="constructor">Stdlib</span>.<span class="constructor">Option</span>.t <span class="keywordsign">-></span> bool<br>
<span class="keyword">val</span> iter : (<span class="keywordsign">'</span>a <span class="keywordsign">-></span> unit) <span class="keywordsign">-></span> <span class="keywordsign">'</span>a <span class="constructor">Misc</span>.<span class="constructor">Stdlib</span>.<span class="constructor">Option</span>.t <span class="keywordsign">-></span> unit<br>
<span class="keyword">val</span> map :<br>
(<span class="keywordsign">'</span>a <span class="keywordsign">-></span> <span class="keywordsign">'</span>b) <span class="keywordsign">-></span> <span class="keywordsign">'</span>a <span class="constructor">Misc</span>.<span class="constructor">Stdlib</span>.<span class="constructor">Option</span>.t <span class="keywordsign">-></span> <span class="keywordsign">'</span>b <span class="constructor">Misc</span>.<span class="constructor">Stdlib</span>.<span class="constructor">Option</span>.t<br>
<span class="keyword">val</span> fold : (<span class="keywordsign">'</span>a <span class="keywordsign">-></span> <span class="keywordsign">'</span>b <span class="keywordsign">-></span> <span class="keywordsign">'</span>b) <span class="keywordsign">-></span> <span class="keywordsign">'</span>a <span class="constructor">Misc</span>.<span class="constructor">Stdlib</span>.<span class="constructor">Option</span>.t <span class="keywordsign">-></span> <span class="keywordsign">'</span>b <span class="keywordsign">-></span> <span class="keywordsign">'</span>b<br>
<span class="keyword">val</span> value_default :<br>
(<span class="keywordsign">'</span>a <span class="keywordsign">-></span> <span class="keywordsign">'</span>b) <span class="keywordsign">-></span> default:<span class="keywordsign">'</span>b <span class="keywordsign">-></span> <span class="keywordsign">'</span>a <span class="constructor">Misc</span>.<span class="constructor">Stdlib</span>.<span class="constructor">Option</span>.t <span class="keywordsign">-></span> <span class="keywordsign">'</span>b<br>
<span class="keyword">end</span><br>
<span class="keyword">module</span> <span class="constructor">Array</span> :<br>
<span class="keyword">sig</span><br>
<span class="keyword">val</span> exists2 : (<span class="keywordsign">'</span>a <span class="keywordsign">-></span> <span class="keywordsign">'</span>b <span class="keywordsign">-></span> bool) <span class="keywordsign">-></span> <span class="keywordsign">'</span>a array <span class="keywordsign">-></span> <span class="keywordsign">'</span>b array <span class="keywordsign">-></span> bool<br>
<span class="keyword">end</span><br>
<span class="keyword">end</span><br>
<span class="keyword">val</span> find_in_path : string list <span class="keywordsign">-></span> string <span class="keywordsign">-></span> string<br>
<span class="keyword">val</span> find_in_path_rel : string list <span class="keywordsign">-></span> string <span class="keywordsign">-></span> string<br>
<span class="keyword">val</span> find_in_path_uncap : string list <span class="keywordsign">-></span> string <span class="keywordsign">-></span> string<br>
<span class="keyword">val</span> remove_file : string <span class="keywordsign">-></span> unit<br>
<span class="keyword">val</span> expand_directory : string <span class="keywordsign">-></span> string <span class="keywordsign">-></span> string<br>
<span class="keyword">val</span> create_hashtable : int <span class="keywordsign">-></span> (<span class="keywordsign">'</span>a * <span class="keywordsign">'</span>b) list <span class="keywordsign">-></span> (<span class="keywordsign">'</span>a, <span class="keywordsign">'</span>b) <span class="constructor">Hashtbl</span>.t<br>
<span class="keyword">val</span> copy_file : <span class="constructor">Pervasives</span>.in_channel <span class="keywordsign">-></span> <span class="constructor">Pervasives</span>.out_channel <span class="keywordsign">-></span> unit<br>
<span class="keyword">val</span> copy_file_chunk :<br>
<span class="constructor">Pervasives</span>.in_channel <span class="keywordsign">-></span> <span class="constructor">Pervasives</span>.out_channel <span class="keywordsign">-></span> int <span class="keywordsign">-></span> unit<br>
<span class="keyword">val</span> string_of_file : <span class="constructor">Pervasives</span>.in_channel <span class="keywordsign">-></span> string<br>
<span class="keyword">val</span> output_to_file_via_temporary :<br>
?mode:<span class="constructor">Pervasives</span>.open_flag list <span class="keywordsign">-></span><br>
string <span class="keywordsign">-></span> (string <span class="keywordsign">-></span> <span class="constructor">Pervasives</span>.out_channel <span class="keywordsign">-></span> <span class="keywordsign">'</span>a) <span class="keywordsign">-></span> <span class="keywordsign">'</span>a<br>
<span class="keyword">val</span> log2 : int <span class="keywordsign">-></span> int<br>
<span class="keyword">val</span> align : int <span class="keywordsign">-></span> int <span class="keywordsign">-></span> int<br>
<span class="keyword">val</span> no_overflow_add : int <span class="keywordsign">-></span> int <span class="keywordsign">-></span> bool<br>
<span class="keyword">val</span> no_overflow_sub : int <span class="keywordsign">-></span> int <span class="keywordsign">-></span> bool<br>
<span class="keyword">val</span> no_overflow_mul : int <span class="keywordsign">-></span> int <span class="keywordsign">-></span> bool<br>
<span class="keyword">val</span> no_overflow_lsl : int <span class="keywordsign">-></span> int <span class="keywordsign">-></span> bool<br>
<span class="keyword">module</span> <span class="constructor">Int_literal_converter</span> :<br>
<span class="keyword">sig</span><br>
<span class="keyword">val</span> int : string <span class="keywordsign">-></span> int<br>
<span class="keyword">val</span> int32 : string <span class="keywordsign">-></span> int32<br>
<span class="keyword">val</span> int64 : string <span class="keywordsign">-></span> int64<br>
<span class="keyword">val</span> nativeint : string <span class="keywordsign">-></span> nativeint<br>
<span class="keyword">end</span><br>
<span class="keyword">val</span> chop_extensions : string <span class="keywordsign">-></span> string<br>
<span class="keyword">val</span> search_substring : string <span class="keywordsign">-></span> string <span class="keywordsign">-></span> int <span class="keywordsign">-></span> int<br>
<span class="keyword">val</span> replace_substring : before:string <span class="keywordsign">-></span> after:string <span class="keywordsign">-></span> string <span class="keywordsign">-></span> string<br>
<span class="keyword">val</span> rev_split_words : string <span class="keywordsign">-></span> string list<br>
<span class="keyword">val</span> get_ref : <span class="keywordsign">'</span>a list <span class="constructor">Pervasives</span>.ref <span class="keywordsign">-></span> <span class="keywordsign">'</span>a list<br>
<span class="keyword">val</span> fst3 : <span class="keywordsign">'</span>a * <span class="keywordsign">'</span>b * <span class="keywordsign">'</span>c <span class="keywordsign">-></span> <span class="keywordsign">'</span>a<br>
<span class="keyword">val</span> snd3 : <span class="keywordsign">'</span>a * <span class="keywordsign">'</span>b * <span class="keywordsign">'</span>c <span class="keywordsign">-></span> <span class="keywordsign">'</span>b<br>
<span class="keyword">val</span> thd3 : <span class="keywordsign">'</span>a * <span class="keywordsign">'</span>b * <span class="keywordsign">'</span>c <span class="keywordsign">-></span> <span class="keywordsign">'</span>c<br>
<span class="keyword">val</span> fst4 : <span class="keywordsign">'</span>a * <span class="keywordsign">'</span>b * <span class="keywordsign">'</span>c * <span class="keywordsign">'</span>d <span class="keywordsign">-></span> <span class="keywordsign">'</span>a<br>
<span class="keyword">val</span> snd4 : <span class="keywordsign">'</span>a * <span class="keywordsign">'</span>b * <span class="keywordsign">'</span>c * <span class="keywordsign">'</span>d <span class="keywordsign">-></span> <span class="keywordsign">'</span>b<br>
<span class="keyword">val</span> thd4 : <span class="keywordsign">'</span>a * <span class="keywordsign">'</span>b * <span class="keywordsign">'</span>c * <span class="keywordsign">'</span>d <span class="keywordsign">-></span> <span class="keywordsign">'</span>c<br>
<span class="keyword">val</span> for4 : <span class="keywordsign">'</span>a * <span class="keywordsign">'</span>b * <span class="keywordsign">'</span>c * <span class="keywordsign">'</span>d <span class="keywordsign">-></span> <span class="keywordsign">'</span>d<br>
<span class="keyword">module</span> <span class="constructor">LongString</span> :<br>
<span class="keyword">sig</span><br>
<span class="keyword">type</span> t = bytes array<br>
<span class="keyword">val</span> create : int <span class="keywordsign">-></span> <span class="constructor">Misc</span>.<span class="constructor">LongString</span>.t<br>
<span class="keyword">val</span> length : <span class="constructor">Misc</span>.<span class="constructor">LongString</span>.t <span class="keywordsign">-></span> int<br>
<span class="keyword">val</span> get : <span class="constructor">Misc</span>.<span class="constructor">LongString</span>.t <span class="keywordsign">-></span> int <span class="keywordsign">-></span> char<br>
<span class="keyword">val</span> set : <span class="constructor">Misc</span>.<span class="constructor">LongString</span>.t <span class="keywordsign">-></span> int <span class="keywordsign">-></span> char <span class="keywordsign">-></span> unit<br>
<span class="keyword">val</span> blit :<br>
<span class="constructor">Misc</span>.<span class="constructor">LongString</span>.t <span class="keywordsign">-></span> int <span class="keywordsign">-></span> <span class="constructor">Misc</span>.<span class="constructor">LongString</span>.t <span class="keywordsign">-></span> int <span class="keywordsign">-></span> int <span class="keywordsign">-></span> unit<br>
<span class="keyword">val</span> output :<br>
<span class="constructor">Pervasives</span>.out_channel <span class="keywordsign">-></span> <span class="constructor">Misc</span>.<span class="constructor">LongString</span>.t <span class="keywordsign">-></span> int <span class="keywordsign">-></span> int <span class="keywordsign">-></span> unit<br>
<span class="keyword">val</span> unsafe_blit_to_bytes :<br>
<span class="constructor">Misc</span>.<span class="constructor">LongString</span>.t <span class="keywordsign">-></span> int <span class="keywordsign">-></span> bytes <span class="keywordsign">-></span> int <span class="keywordsign">-></span> int <span class="keywordsign">-></span> unit<br>
<span class="keyword">val</span> input_bytes : <span class="constructor">Pervasives</span>.in_channel <span class="keywordsign">-></span> int <span class="keywordsign">-></span> <span class="constructor">Misc</span>.<span class="constructor">LongString</span>.t<br>
<span class="keyword">end</span><br>
<span class="keyword">val</span> edit_distance : string <span class="keywordsign">-></span> string <span class="keywordsign">-></span> int <span class="keywordsign">-></span> int option<br>
<span class="keyword">val</span> spellcheck : string list <span class="keywordsign">-></span> string <span class="keywordsign">-></span> string list<br>
<span class="keyword">val</span> did_you_mean : <span class="constructor">Format</span>.formatter <span class="keywordsign">-></span> (unit <span class="keywordsign">-></span> string list) <span class="keywordsign">-></span> unit<br>
<span class="keyword">val</span> cut_at : string <span class="keywordsign">-></span> char <span class="keywordsign">-></span> string * string<br>
<span class="keyword">module</span> <span class="constructor">StringSet</span> :<br>
<span class="keyword">sig</span><br>
<span class="keyword">type</span> elt = string<br>
<span class="keyword">type</span> t<br>
<span class="keyword">val</span> empty : t<br>
<span class="keyword">val</span> is_empty : t <span class="keywordsign">-></span> bool<br>
<span class="keyword">val</span> mem : elt <span class="keywordsign">-></span> t <span class="keywordsign">-></span> bool<br>
<span class="keyword">val</span> add : elt <span class="keywordsign">-></span> t <span class="keywordsign">-></span> t<br>
<span class="keyword">val</span> singleton : elt <span class="keywordsign">-></span> t<br>
<span class="keyword">val</span> remove : elt <span class="keywordsign">-></span> t <span class="keywordsign">-></span> t<br>
<span class="keyword">val</span> union : t <span class="keywordsign">-></span> t <span class="keywordsign">-></span> t<br>
<span class="keyword">val</span> inter : t <span class="keywordsign">-></span> t <span class="keywordsign">-></span> t<br>
<span class="keyword">val</span> diff : t <span class="keywordsign">-></span> t <span class="keywordsign">-></span> t<br>
<span class="keyword">val</span> compare : t <span class="keywordsign">-></span> t <span class="keywordsign">-></span> int<br>
<span class="keyword">val</span> equal : t <span class="keywordsign">-></span> t <span class="keywordsign">-></span> bool<br>
<span class="keyword">val</span> subset : t <span class="keywordsign">-></span> t <span class="keywordsign">-></span> bool<br>
<span class="keyword">val</span> iter : (elt <span class="keywordsign">-></span> unit) <span class="keywordsign">-></span> t <span class="keywordsign">-></span> unit<br>
<span class="keyword">val</span> map : (elt <span class="keywordsign">-></span> elt) <span class="keywordsign">-></span> t <span class="keywordsign">-></span> t<br>
<span class="keyword">val</span> fold : (elt <span class="keywordsign">-></span> <span class="keywordsign">'</span>a <span class="keywordsign">-></span> <span class="keywordsign">'</span>a) <span class="keywordsign">-></span> t <span class="keywordsign">-></span> <span class="keywordsign">'</span>a <span class="keywordsign">-></span> <span class="keywordsign">'</span>a<br>
<span class="keyword">val</span> for_all : (elt <span class="keywordsign">-></span> bool) <span class="keywordsign">-></span> t <span class="keywordsign">-></span> bool<br>
<span class="keyword">val</span> exists : (elt <span class="keywordsign">-></span> bool) <span class="keywordsign">-></span> t <span class="keywordsign">-></span> bool<br>
<span class="keyword">val</span> filter : (elt <span class="keywordsign">-></span> bool) <span class="keywordsign">-></span> t <span class="keywordsign">-></span> t<br>
<span class="keyword">val</span> partition : (elt <span class="keywordsign">-></span> bool) <span class="keywordsign">-></span> t <span class="keywordsign">-></span> t * t<br>
<span class="keyword">val</span> cardinal : t <span class="keywordsign">-></span> int<br>
<span class="keyword">val</span> elements : t <span class="keywordsign">-></span> elt list<br>
<span class="keyword">val</span> min_elt : t <span class="keywordsign">-></span> elt<br>
<span class="keyword">val</span> min_elt_opt : t <span class="keywordsign">-></span> elt option<br>
<span class="keyword">val</span> max_elt : t <span class="keywordsign">-></span> elt<br>
<span class="keyword">val</span> max_elt_opt : t <span class="keywordsign">-></span> elt option<br>
<span class="keyword">val</span> choose : t <span class="keywordsign">-></span> elt<br>
<span class="keyword">val</span> choose_opt : t <span class="keywordsign">-></span> elt option<br>
<span class="keyword">val</span> split : elt <span class="keywordsign">-></span> t <span class="keywordsign">-></span> t * bool * t<br>
<span class="keyword">val</span> find : elt <span class="keywordsign">-></span> t <span class="keywordsign">-></span> elt<br>
<span class="keyword">val</span> find_opt : elt <span class="keywordsign">-></span> t <span class="keywordsign">-></span> elt option<br>
<span class="keyword">val</span> find_first : (elt <span class="keywordsign">-></span> bool) <span class="keywordsign">-></span> t <span class="keywordsign">-></span> elt<br>
<span class="keyword">val</span> find_first_opt : (elt <span class="keywordsign">-></span> bool) <span class="keywordsign">-></span> t <span class="keywordsign">-></span> elt option<br>
<span class="keyword">val</span> find_last : (elt <span class="keywordsign">-></span> bool) <span class="keywordsign">-></span> t <span class="keywordsign">-></span> elt<br>
<span class="keyword">val</span> find_last_opt : (elt <span class="keywordsign">-></span> bool) <span class="keywordsign">-></span> t <span class="keywordsign">-></span> elt option<br>
<span class="keyword">val</span> of_list : elt list <span class="keywordsign">-></span> t<br>
<span class="keyword">val</span> to_seq_from : elt <span class="keywordsign">-></span> t <span class="keywordsign">-></span> elt <span class="constructor">Seq</span>.t<br>
<span class="keyword">val</span> to_seq : t <span class="keywordsign">-></span> elt <span class="constructor">Seq</span>.t<br>
<span class="keyword">val</span> add_seq : elt <span class="constructor">Seq</span>.t <span class="keywordsign">-></span> t <span class="keywordsign">-></span> t<br>
<span class="keyword">val</span> of_seq : elt <span class="constructor">Seq</span>.t <span class="keywordsign">-></span> t<br>
<span class="keyword">end</span><br>
<span class="keyword">module</span> <span class="constructor">StringMap</span> :<br>
<span class="keyword">sig</span><br>
<span class="keyword">type</span> key = string<br>
<span class="keyword">type</span> +<span class="keywordsign">'</span>a t<br>
<span class="keyword">val</span> empty : <span class="keywordsign">'</span>a t<br>
<span class="keyword">val</span> is_empty : <span class="keywordsign">'</span>a t <span class="keywordsign">-></span> bool<br>
<span class="keyword">val</span> mem : key <span class="keywordsign">-></span> <span class="keywordsign">'</span>a t <span class="keywordsign">-></span> bool<br>
<span class="keyword">val</span> add : key <span class="keywordsign">-></span> <span class="keywordsign">'</span>a <span class="keywordsign">-></span> <span class="keywordsign">'</span>a t <span class="keywordsign">-></span> <span class="keywordsign">'</span>a t<br>
<span class="keyword">val</span> update : key <span class="keywordsign">-></span> (<span class="keywordsign">'</span>a option <span class="keywordsign">-></span> <span class="keywordsign">'</span>a option) <span class="keywordsign">-></span> <span class="keywordsign">'</span>a t <span class="keywordsign">-></span> <span class="keywordsign">'</span>a t<br>
<span class="keyword">val</span> singleton : key <span class="keywordsign">-></span> <span class="keywordsign">'</span>a <span class="keywordsign">-></span> <span class="keywordsign">'</span>a t<br>
<span class="keyword">val</span> remove : key <span class="keywordsign">-></span> <span class="keywordsign">'</span>a t <span class="keywordsign">-></span> <span class="keywordsign">'</span>a t<br>
<span class="keyword">val</span> merge :<br>
(key <span class="keywordsign">-></span> <span class="keywordsign">'</span>a option <span class="keywordsign">-></span> <span class="keywordsign">'</span>b option <span class="keywordsign">-></span> <span class="keywordsign">'</span>c option) <span class="keywordsign">-></span> <span class="keywordsign">'</span>a t <span class="keywordsign">-></span> <span class="keywordsign">'</span>b t <span class="keywordsign">-></span> <span class="keywordsign">'</span>c t<br>
<span class="keyword">val</span> union : (key <span class="keywordsign">-></span> <span class="keywordsign">'</span>a <span class="keywordsign">-></span> <span class="keywordsign">'</span>a <span class="keywordsign">-></span> <span class="keywordsign">'</span>a option) <span class="keywordsign">-></span> <span class="keywordsign">'</span>a t <span class="keywordsign">-></span> <span class="keywordsign">'</span>a t <span class="keywordsign">-></span> <span class="keywordsign">'</span>a t<br>
<span class="keyword">val</span> compare : (<span class="keywordsign">'</span>a <span class="keywordsign">-></span> <span class="keywordsign">'</span>a <span class="keywordsign">-></span> int) <span class="keywordsign">-></span> <span class="keywordsign">'</span>a t <span class="keywordsign">-></span> <span class="keywordsign">'</span>a t <span class="keywordsign">-></span> int<br>
<span class="keyword">val</span> equal : (<span class="keywordsign">'</span>a <span class="keywordsign">-></span> <span class="keywordsign">'</span>a <span class="keywordsign">-></span> bool) <span class="keywordsign">-></span> <span class="keywordsign">'</span>a t <span class="keywordsign">-></span> <span class="keywordsign">'</span>a t <span class="keywordsign">-></span> bool<br>
<span class="keyword">val</span> iter : (key <span class="keywordsign">-></span> <span class="keywordsign">'</span>a <span class="keywordsign">-></span> unit) <span class="keywordsign">-></span> <span class="keywordsign">'</span>a t <span class="keywordsign">-></span> unit<br>
<span class="keyword">val</span> fold : (key <span class="keywordsign">-></span> <span class="keywordsign">'</span>a <span class="keywordsign">-></span> <span class="keywordsign">'</span>b <span class="keywordsign">-></span> <span class="keywordsign">'</span>b) <span class="keywordsign">-></span> <span class="keywordsign">'</span>a t <span class="keywordsign">-></span> <span class="keywordsign">'</span>b <span class="keywordsign">-></span> <span class="keywordsign">'</span>b<br>
<span class="keyword">val</span> for_all : (key <span class="keywordsign">-></span> <span class="keywordsign">'</span>a <span class="keywordsign">-></span> bool) <span class="keywordsign">-></span> <span class="keywordsign">'</span>a t <span class="keywordsign">-></span> bool<br>
<span class="keyword">val</span> exists : (key <span class="keywordsign">-></span> <span class="keywordsign">'</span>a <span class="keywordsign">-></span> bool) <span class="keywordsign">-></span> <span class="keywordsign">'</span>a t <span class="keywordsign">-></span> bool<br>
<span class="keyword">val</span> filter : (key <span class="keywordsign">-></span> <span class="keywordsign">'</span>a <span class="keywordsign">-></span> bool) <span class="keywordsign">-></span> <span class="keywordsign">'</span>a t <span class="keywordsign">-></span> <span class="keywordsign">'</span>a t<br>
<span class="keyword">val</span> partition : (key <span class="keywordsign">-></span> <span class="keywordsign">'</span>a <span class="keywordsign">-></span> bool) <span class="keywordsign">-></span> <span class="keywordsign">'</span>a t <span class="keywordsign">-></span> <span class="keywordsign">'</span>a t * <span class="keywordsign">'</span>a t<br>
<span class="keyword">val</span> cardinal : <span class="keywordsign">'</span>a t <span class="keywordsign">-></span> int<br>
<span class="keyword">val</span> bindings : <span class="keywordsign">'</span>a t <span class="keywordsign">-></span> (key * <span class="keywordsign">'</span>a) list<br>
<span class="keyword">val</span> min_binding : <span class="keywordsign">'</span>a t <span class="keywordsign">-></span> key * <span class="keywordsign">'</span>a<br>
<span class="keyword">val</span> min_binding_opt : <span class="keywordsign">'</span>a t <span class="keywordsign">-></span> (key * <span class="keywordsign">'</span>a) option<br>
<span class="keyword">val</span> max_binding : <span class="keywordsign">'</span>a t <span class="keywordsign">-></span> key * <span class="keywordsign">'</span>a<br>
<span class="keyword">val</span> max_binding_opt : <span class="keywordsign">'</span>a t <span class="keywordsign">-></span> (key * <span class="keywordsign">'</span>a) option<br>
<span class="keyword">val</span> choose : <span class="keywordsign">'</span>a t <span class="keywordsign">-></span> key * <span class="keywordsign">'</span>a<br>
<span class="keyword">val</span> choose_opt : <span class="keywordsign">'</span>a t <span class="keywordsign">-></span> (key * <span class="keywordsign">'</span>a) option<br>
<span class="keyword">val</span> split : key <span class="keywordsign">-></span> <span class="keywordsign">'</span>a t <span class="keywordsign">-></span> <span class="keywordsign">'</span>a t * <span class="keywordsign">'</span>a option * <span class="keywordsign">'</span>a t<br>
<span class="keyword">val</span> find : key <span class="keywordsign">-></span> <span class="keywordsign">'</span>a t <span class="keywordsign">-></span> <span class="keywordsign">'</span>a<br>
<span class="keyword">val</span> find_opt : key <span class="keywordsign">-></span> <span class="keywordsign">'</span>a t <span class="keywordsign">-></span> <span class="keywordsign">'</span>a option<br>
<span class="keyword">val</span> find_first : (key <span class="keywordsign">-></span> bool) <span class="keywordsign">-></span> <span class="keywordsign">'</span>a t <span class="keywordsign">-></span> key * <span class="keywordsign">'</span>a<br>
<span class="keyword">val</span> find_first_opt : (key <span class="keywordsign">-></span> bool) <span class="keywordsign">-></span> <span class="keywordsign">'</span>a t <span class="keywordsign">-></span> (key * <span class="keywordsign">'</span>a) option<br>
<span class="keyword">val</span> find_last : (key <span class="keywordsign">-></span> bool) <span class="keywordsign">-></span> <span class="keywordsign">'</span>a t <span class="keywordsign">-></span> key * <span class="keywordsign">'</span>a<br>
<span class="keyword">val</span> find_last_opt : (key <span class="keywordsign">-></span> bool) <span class="keywordsign">-></span> <span class="keywordsign">'</span>a t <span class="keywordsign">-></span> (key * <span class="keywordsign">'</span>a) option<br>
<span class="keyword">val</span> map : (<span class="keywordsign">'</span>a <span class="keywordsign">-></span> <span class="keywordsign">'</span>b) <span class="keywordsign">-></span> <span class="keywordsign">'</span>a t <span class="keywordsign">-></span> <span class="keywordsign">'</span>b t<br>
<span class="keyword">val</span> mapi : (key <span class="keywordsign">-></span> <span class="keywordsign">'</span>a <span class="keywordsign">-></span> <span class="keywordsign">'</span>b) <span class="keywordsign">-></span> <span class="keywordsign">'</span>a t <span class="keywordsign">-></span> <span class="keywordsign">'</span>b t<br>
<span class="keyword">val</span> to_seq : <span class="keywordsign">'</span>a t <span class="keywordsign">-></span> (key * <span class="keywordsign">'</span>a) <span class="constructor">Seq</span>.t<br>
<span class="keyword">val</span> to_seq_from : key <span class="keywordsign">-></span> <span class="keywordsign">'</span>a t <span class="keywordsign">-></span> (key * <span class="keywordsign">'</span>a) <span class="constructor">Seq</span>.t<br>
<span class="keyword">val</span> add_seq : (key * <span class="keywordsign">'</span>a) <span class="constructor">Seq</span>.t <span class="keywordsign">-></span> <span class="keywordsign">'</span>a t <span class="keywordsign">-></span> <span class="keywordsign">'</span>a t<br>
<span class="keyword">val</span> of_seq : (key * <span class="keywordsign">'</span>a) <span class="constructor">Seq</span>.t <span class="keywordsign">-></span> <span class="keywordsign">'</span>a t<br>
<span class="keyword">end</span><br>
<span class="keyword">module</span> <span class="constructor">Color</span> :<br>
<span class="keyword">sig</span><br>
<span class="keyword">type</span> color =<br>
<span class="constructor">Black</span><br>
<span class="keywordsign">|</span> <span class="constructor">Red</span><br>
<span class="keywordsign">|</span> <span class="constructor">Green</span><br>
<span class="keywordsign">|</span> <span class="constructor">Yellow</span><br>
<span class="keywordsign">|</span> <span class="constructor">Blue</span><br>
<span class="keywordsign">|</span> <span class="constructor">Magenta</span><br>
<span class="keywordsign">|</span> <span class="constructor">Cyan</span><br>
<span class="keywordsign">|</span> <span class="constructor">White</span><br>
<span class="keyword">type</span> style =<br>
<span class="constructor">FG</span> <span class="keyword">of</span> <span class="constructor">Misc</span>.<span class="constructor">Color</span>.color<br>
<span class="keywordsign">|</span> <span class="constructor">BG</span> <span class="keyword">of</span> <span class="constructor">Misc</span>.<span class="constructor">Color</span>.color<br>
<span class="keywordsign">|</span> <span class="constructor">Bold</span><br>
<span class="keywordsign">|</span> <span class="constructor">Reset</span><br>
<span class="keyword">val</span> ansi_of_style_l : <span class="constructor">Misc</span>.<span class="constructor">Color</span>.style list <span class="keywordsign">-></span> string<br>
<span class="keyword">type</span> styles = {<br>
error : <span class="constructor">Misc</span>.<span class="constructor">Color</span>.style list;<br>
warning : <span class="constructor">Misc</span>.<span class="constructor">Color</span>.style list;<br>
loc : <span class="constructor">Misc</span>.<span class="constructor">Color</span>.style list;<br>
}<br>
<span class="keyword">val</span> default_styles : <span class="constructor">Misc</span>.<span class="constructor">Color</span>.styles<br>
<span class="keyword">val</span> get_styles : unit <span class="keywordsign">-></span> <span class="constructor">Misc</span>.<span class="constructor">Color</span>.styles<br>
<span class="keyword">val</span> set_styles : <span class="constructor">Misc</span>.<span class="constructor">Color</span>.styles <span class="keywordsign">-></span> unit<br>
<span class="keyword">type</span> setting = <span class="constructor">Auto</span> <span class="keywordsign">|</span> <span class="constructor">Always</span> <span class="keywordsign">|</span> <span class="constructor">Never</span><br>
<span class="keyword">val</span> setup : <span class="constructor">Misc</span>.<span class="constructor">Color</span>.setting option <span class="keywordsign">-></span> unit<br>
<span class="keyword">val</span> set_color_tag_handling : <span class="constructor">Format</span>.formatter <span class="keywordsign">-></span> unit<br>
<span class="keyword">end</span><br>
<span class="keyword">val</span> normalise_eol : string <span class="keywordsign">-></span> string<br>
<span class="keyword">val</span> delete_eol_spaces : string <span class="keywordsign">-></span> string<br>
<span class="keyword">type</span> hook_info = { sourcefile : string; }<br>
<span class="keyword">exception</span> <span class="constructor">HookExnWrapper</span> <span class="keyword">of</span> { error : exn; hook_name : string;<br>
hook_info : <span class="constructor">Misc</span>.hook_info;<br>
}<br>
<span class="keyword">val</span> raise_direct_hook_exn : exn <span class="keywordsign">-></span> <span class="keywordsign">'</span>a<br>
<span class="keyword">module</span> <span class="keyword">type</span> <span class="constructor">HookSig</span> =<br>
<span class="keyword">sig</span><br>
<span class="keyword">type</span> t<br>
<span class="keyword">val</span> add_hook :<br>
string <span class="keywordsign">-></span><br>
(<span class="constructor">Misc</span>.hook_info <span class="keywordsign">-></span> <span class="constructor">Misc</span>.<span class="constructor">HookSig</span>.t <span class="keywordsign">-></span> <span class="constructor">Misc</span>.<span class="constructor">HookSig</span>.t) <span class="keywordsign">-></span> unit<br>
<span class="keyword">val</span> apply_hooks : <span class="constructor">Misc</span>.hook_info <span class="keywordsign">-></span> <span class="constructor">Misc</span>.<span class="constructor">HookSig</span>.t <span class="keywordsign">-></span> <span class="constructor">Misc</span>.<span class="constructor">HookSig</span>.t<br>
<span class="keyword">end</span><br>
<span class="keyword">module</span> <span class="constructor">MakeHooks</span> :<br>
<span class="keyword">functor</span> (<span class="constructor">M</span> : <span class="keyword">sig</span> <span class="keyword">type</span> t <span class="keyword">end</span>) <span class="keywordsign">-></span><br>
<span class="keyword">sig</span><br>
<span class="keyword">type</span> t = <span class="constructor">M</span>.t<br>
<span class="keyword">val</span> add_hook : string <span class="keywordsign">-></span> (hook_info <span class="keywordsign">-></span> t <span class="keywordsign">-></span> t) <span class="keywordsign">-></span> unit<br>
<span class="keyword">val</span> apply_hooks : hook_info <span class="keywordsign">-></span> t <span class="keywordsign">-></span> t<br>
<span class="keyword">end</span><br>
<span class="keyword">end</span></code></body></html>
distrib
>
Mageia
>
7
>
armv7hl
>
media
>
core-release
>
by-pkgid
>
fb18813323b88f9a6e869238ab603257
>
files
>
408
