<html><head> <link rel="stylesheet" href="style.css" type="text/css"> <meta content="text/html; charset=iso-8859-1" http-equiv="Content-Type"> <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="Utility" rel="Chapter" href="Utility.html"> <link title="Istring" rel="Chapter" href="Istring.html"> <link title="Io" rel="Chapter" href="Io.html"> <link title="Unzip" rel="Chapter" href="Unzip.html"> <link title="Pdfio" rel="Chapter" href="Pdfio.html"> <link title="Cgenlex" rel="Chapter" href="Cgenlex.html"> <link title="Zlib" rel="Chapter" href="Zlib.html"> <link title="Transform" rel="Chapter" href="Transform.html"> <link title="Units" rel="Chapter" href="Units.html"> <link title="Paper" rel="Chapter" href="Paper.html"> <link title="Pdf" rel="Chapter" href="Pdf.html"> <link title="Pdfcrypt" rel="Chapter" href="Pdfcrypt.html"> <link title="Pdfwrite" rel="Chapter" href="Pdfwrite.html"> <link title="Pdfcodec" rel="Chapter" href="Pdfcodec.html"> <link title="Pdfread" rel="Chapter" href="Pdfread.html"> <link title="Pdfpages" rel="Chapter" href="Pdfpages.html"> <link title="Pdfdoc" rel="Chapter" href="Pdfdoc.html"> <link title="Pdfannot" rel="Chapter" href="Pdfannot.html"> <link title="Pdffun" rel="Chapter" href="Pdffun.html"> <link title="Pdfspace" rel="Chapter" href="Pdfspace.html"> <link title="Pdfimage" rel="Chapter" href="Pdfimage.html"> <link title="Glyphlist" rel="Chapter" href="Glyphlist.html"> <link title="Pdftext" rel="Chapter" href="Pdftext.html"> <link title="Fonttables" rel="Chapter" href="Fonttables.html"> <link title="Pdfgraphics" rel="Chapter" href="Pdfgraphics.html"> <link title="Pdfshapes" rel="Chapter" href="Pdfshapes.html"> <link title="Pdfmarks" rel="Chapter" href="Pdfmarks.html"> <link title="Pdfdate" rel="Chapter" href="Pdfdate.html"> <link title="Cff" rel="Chapter" href="Cff.html"><title>Utility</title> </head> <body> <code class="code"><span class="keyword">sig</span><br> <span class="keyword">val</span> dp_print : bool <span class="constructor">Pervasives</span>.ref<br> <span class="keyword">val</span> dpr : string <span class="keywordsign">-></span> unit<br> <span class="keyword">val</span> firstchar : string <span class="keywordsign">-></span> char option<br> <span class="keyword">val</span> lastchar : string <span class="keywordsign">-></span> char option<br> <span class="keyword">val</span> explode : string <span class="keywordsign">-></span> char list<br> <span class="keyword">val</span> implode : char list <span class="keywordsign">-></span> string<br> <span class="keyword">val</span> string_of_char : char <span class="keywordsign">-></span> string<br> <span class="keyword">val</span> hd : <span class="keywordsign">'</span>a list <span class="keywordsign">-></span> <span class="keywordsign">'</span>a<br> <span class="keyword">val</span> tl : <span class="keywordsign">'</span>a list <span class="keywordsign">-></span> <span class="keywordsign">'</span>a list<br> <span class="keyword">val</span> rev : <span class="keywordsign">'</span>a list <span class="keywordsign">-></span> <span class="keywordsign">'</span>a list<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 list <span class="keywordsign">-></span> unit<br> <span class="keyword">val</span> iter2 : (<span class="keywordsign">'</span>a <span class="keywordsign">-></span> <span class="keywordsign">'</span>b <span class="keywordsign">-></span> unit) <span class="keywordsign">-></span> <span class="keywordsign">'</span>a list <span class="keywordsign">-></span> <span class="keywordsign">'</span>b list <span class="keywordsign">-></span> unit<br> <span class="keyword">val</span> iter3 :<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> unit) <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>c list <span class="keywordsign">-></span> unit<br> <span class="keyword">val</span> append : <span class="keywordsign">'</span>a list <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> ( @ ) : <span class="keywordsign">'</span>a list <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> flatten : <span class="keywordsign">'</span>a list list <span class="keywordsign">-></span> <span class="keywordsign">'</span>a list<br> <span class="keyword">val</span> rev_map : (<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> map : (<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> map2 : (<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> <span class="keywordsign">'</span>a list <span class="keywordsign">-></span> <span class="keywordsign">'</span>b list <span class="keywordsign">-></span> <span class="keywordsign">'</span>c list<br> <span class="keyword">val</span> split : (<span class="keywordsign">'</span>a * <span class="keywordsign">'</span>b) list <span class="keywordsign">-></span> <span class="keywordsign">'</span>a list * <span class="keywordsign">'</span>b list<br> <span class="keyword">val</span> split3 : (<span class="keywordsign">'</span>a * <span class="keywordsign">'</span>b * <span class="keywordsign">'</span>c) list <span class="keywordsign">-></span> <span class="keywordsign">'</span>a list * <span class="keywordsign">'</span>b list * <span class="keywordsign">'</span>c list<br> <span class="keyword">val</span> split8 :<br> (<span class="keywordsign">'</span>a * <span class="keywordsign">'</span>b * <span class="keywordsign">'</span>c * <span class="keywordsign">'</span>d * <span class="keywordsign">'</span>e * <span class="keywordsign">'</span>f * <span class="keywordsign">'</span>g * <span class="keywordsign">'</span>h) list <span class="keywordsign">-></span><br> <span class="keywordsign">'</span>a list * <span class="keywordsign">'</span>b list * <span class="keywordsign">'</span>c list * <span class="keywordsign">'</span>d list * <span class="keywordsign">'</span>e list * <span class="keywordsign">'</span>f list * <span class="keywordsign">'</span>g list *<br> <span class="keywordsign">'</span>h list<br> <span class="keyword">val</span> combine : <span class="keywordsign">'</span>a list <span class="keywordsign">-></span> <span class="keywordsign">'</span>b list <span class="keywordsign">-></span> (<span class="keywordsign">'</span>a * <span class="keywordsign">'</span>b) list<br> <span class="keyword">val</span> combine3 : <span class="keywordsign">'</span>a list <span class="keywordsign">-></span> <span class="keywordsign">'</span>b list <span class="keywordsign">-></span> <span class="keywordsign">'</span>c list <span class="keywordsign">-></span> (<span class="keywordsign">'</span>a * <span class="keywordsign">'</span>b * <span class="keywordsign">'</span>c) list<br> <span class="keyword">val</span> fold_left : (<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="keywordsign">-></span> <span class="keywordsign">'</span>a <span class="keywordsign">-></span> <span class="keywordsign">'</span>b list <span class="keywordsign">-></span> <span class="keywordsign">'</span>a<br> <span class="keyword">val</span> fold_right : (<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 list <span class="keywordsign">-></span> <span class="keywordsign">'</span>b <span class="keywordsign">-></span> <span class="keywordsign">'</span>b<br> <span class="keyword">val</span> length : <span class="keywordsign">'</span>a list <span class="keywordsign">-></span> int<br> <span class="keyword">val</span> sort : (<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 list <span class="keywordsign">-></span> <span class="keywordsign">'</span>a list<br> <span class="keyword">val</span> cumulative_sum : int <span class="keywordsign">-></span> int list <span class="keywordsign">-></span> int list<br> <span class="keyword">val</span> lcount : (<span class="keywordsign">'</span>a <span class="keywordsign">-></span> bool) <span class="keywordsign">-></span> <span class="keywordsign">'</span>a list <span class="keywordsign">-></span> int<br> <span class="keyword">val</span> option_map : (<span class="keywordsign">'</span>a <span class="keywordsign">-></span> <span class="keywordsign">'</span>b option) <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> mem : <span class="keywordsign">'</span>a <span class="keywordsign">-></span> <span class="keywordsign">'</span>a list <span class="keywordsign">-></span> bool<br> <span class="keyword">val</span> rev_map3 :<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> <span class="keywordsign">'</span>d) <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>c list <span class="keywordsign">-></span> <span class="keywordsign">'</span>d list<br> <span class="keyword">val</span> map3 :<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> <span class="keywordsign">'</span>d) <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>c list <span class="keywordsign">-></span> <span class="keywordsign">'</span>d list<br> <span class="keyword">val</span> rev_map4 :<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> <span class="keywordsign">'</span>d <span class="keywordsign">-></span> <span class="keywordsign">'</span>e) <span class="keywordsign">-></span><br> <span class="keywordsign">'</span>a list <span class="keywordsign">-></span> <span class="keywordsign">'</span>b list <span class="keywordsign">-></span> <span class="keywordsign">'</span>c list <span class="keywordsign">-></span> <span class="keywordsign">'</span>d list <span class="keywordsign">-></span> <span class="keywordsign">'</span>e list<br> <span class="keyword">val</span> map4 :<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> <span class="keywordsign">'</span>d <span class="keywordsign">-></span> <span class="keywordsign">'</span>e) <span class="keywordsign">-></span><br> <span class="keywordsign">'</span>a list <span class="keywordsign">-></span> <span class="keywordsign">'</span>b list <span class="keywordsign">-></span> <span class="keywordsign">'</span>c list <span class="keywordsign">-></span> <span class="keywordsign">'</span>d list <span class="keywordsign">-></span> <span class="keywordsign">'</span>e list<br> <span class="keyword">val</span> rev_map5 :<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> <span class="keywordsign">'</span>d <span class="keywordsign">-></span> <span class="keywordsign">'</span>e <span class="keywordsign">-></span> <span class="keywordsign">'</span>f) <span class="keywordsign">-></span><br> <span class="keywordsign">'</span>a list <span class="keywordsign">-></span> <span class="keywordsign">'</span>b list <span class="keywordsign">-></span> <span class="keywordsign">'</span>c list <span class="keywordsign">-></span> <span class="keywordsign">'</span>d list <span class="keywordsign">-></span> <span class="keywordsign">'</span>e list <span class="keywordsign">-></span> <span class="keywordsign">'</span>f list<br> <span class="keyword">val</span> map5 :<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> <span class="keywordsign">'</span>d <span class="keywordsign">-></span> <span class="keywordsign">'</span>e <span class="keywordsign">-></span> <span class="keywordsign">'</span>f) <span class="keywordsign">-></span><br> <span class="keywordsign">'</span>a list <span class="keywordsign">-></span> <span class="keywordsign">'</span>b list <span class="keywordsign">-></span> <span class="keywordsign">'</span>c list <span class="keywordsign">-></span> <span class="keywordsign">'</span>d list <span class="keywordsign">-></span> <span class="keywordsign">'</span>e list <span class="keywordsign">-></span> <span class="keywordsign">'</span>f list<br> <span class="keyword">val</span> take : <span class="keywordsign">'</span>a list <span class="keywordsign">-></span> int <span class="keywordsign">-></span> <span class="keywordsign">'</span>a list<br> <span class="keyword">val</span> take' : int <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> drop : <span class="keywordsign">'</span>a list <span class="keywordsign">-></span> int <span class="keywordsign">-></span> <span class="keywordsign">'</span>a list<br> <span class="keyword">val</span> drop' : int <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> takewhile : (<span class="keywordsign">'</span>a <span class="keywordsign">-></span> bool) <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> dropwhile : (<span class="keywordsign">'</span>a <span class="keywordsign">-></span> bool) <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> cleave : <span class="keywordsign">'</span>a list <span class="keywordsign">-></span> int <span class="keywordsign">-></span> <span class="keywordsign">'</span>a list * <span class="keywordsign">'</span>a list<br> <span class="keyword">val</span> cleavewhile : (<span class="keywordsign">'</span>a <span class="keywordsign">-></span> bool) <span class="keywordsign">-></span> <span class="keywordsign">'</span>a list <span class="keywordsign">-></span> <span class="keywordsign">'</span>a list * <span class="keywordsign">'</span>a list<br> <span class="keyword">val</span> cleavewhile_unordered : (<span class="keywordsign">'</span>a <span class="keywordsign">-></span> bool) <span class="keywordsign">-></span> <span class="keywordsign">'</span>a list <span class="keywordsign">-></span> <span class="keywordsign">'</span>a list * <span class="keywordsign">'</span>a list<br> <span class="keyword">val</span> isolate : (<span class="keywordsign">'</span>a <span class="keywordsign">-></span> bool) <span class="keywordsign">-></span> (<span class="keywordsign">'</span>a <span class="keywordsign">-></span> bool) <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> interleave : <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> interleave_lists : <span class="keywordsign">'</span>a list <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> collate : (<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 list <span class="keywordsign">-></span> <span class="keywordsign">'</span>a list list<br> <span class="keyword">val</span> map_lol : (<span class="keywordsign">'</span>a <span class="keywordsign">-></span> <span class="keywordsign">'</span>b) <span class="keywordsign">-></span> <span class="keywordsign">'</span>a list list <span class="keywordsign">-></span> <span class="keywordsign">'</span>b list list<br> <span class="keyword">val</span> pairs : <span class="keywordsign">'</span>a list <span class="keywordsign">-></span> (<span class="keywordsign">'</span>a * <span class="keywordsign">'</span>a) list<br> <span class="keyword">val</span> mem' : <span class="keywordsign">'</span>a list <span class="keywordsign">-></span> <span class="keywordsign">'</span>a <span class="keywordsign">-></span> bool<br> <span class="keyword">val</span> setify : <span class="keywordsign">'</span>a list <span class="keywordsign">-></span> <span class="keywordsign">'</span>a list<br> <span class="keyword">val</span> setify_preserving_order : <span class="keywordsign">'</span>a list <span class="keywordsign">-></span> <span class="keywordsign">'</span>a list<br> <span class="keyword">val</span> setminus : <span class="keywordsign">'</span>a list <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> setminus_preserving_order : <span class="keywordsign">'</span>a list <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> heads : <span class="keywordsign">'</span>a list list <span class="keywordsign">-></span> <span class="keywordsign">'</span>a list<br> <span class="keyword">val</span> tails : <span class="keywordsign">'</span>a list list <span class="keywordsign">-></span> <span class="keywordsign">'</span>a list list<br> <span class="keyword">val</span> zipn : <span class="keywordsign">'</span>a list list <span class="keywordsign">-></span> <span class="keywordsign">'</span>a list list<br> <span class="keyword">val</span> couple : (<span class="keywordsign">'</span>a <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 list <span class="keywordsign">-></span> <span class="keywordsign">'</span>b list<br> <span class="keyword">val</span> couple_ext : (<span class="keywordsign">'</span>a <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 <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> couple_reduce : (<span class="keywordsign">'</span>a <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 list <span class="keywordsign">-></span> <span class="keywordsign">'</span>a<br> <span class="keyword">val</span> pair : (<span class="keywordsign">'</span>a <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 list <span class="keywordsign">-></span> <span class="keywordsign">'</span>a list<br> <span class="keyword">val</span> pair_ext : (<span class="keywordsign">'</span>a <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 <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> pair_reduce : (<span class="keywordsign">'</span>a <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 list <span class="keywordsign">-></span> <span class="keywordsign">'</span>a<br> <span class="keyword">val</span> keep : (<span class="keywordsign">'</span>a <span class="keywordsign">-></span> bool) <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> lose : (<span class="keywordsign">'</span>a <span class="keywordsign">-></span> bool) <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> many : <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> manyunique : (unit <span class="keywordsign">-></span> <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> splitinto : int <span class="keywordsign">-></span> <span class="keywordsign">'</span>a list <span class="keywordsign">-></span> <span class="keywordsign">'</span>a list list<br> <span class="keyword">val</span> splitat : int list <span class="keywordsign">-></span> <span class="keywordsign">'</span>a list <span class="keywordsign">-></span> <span class="keywordsign">'</span>a list list<br> <span class="keyword">val</span> select : int <span class="keywordsign">-></span> <span class="keywordsign">'</span>a list <span class="keywordsign">-></span> <span class="keywordsign">'</span>a<br> <span class="keyword">val</span> isnull : <span class="keywordsign">'</span>a list <span class="keywordsign">-></span> bool<br> <span class="keyword">val</span> notnull : <span class="keywordsign">'</span>a list <span class="keywordsign">-></span> bool<br> <span class="keyword">val</span> last : <span class="keywordsign">'</span>a list <span class="keywordsign">-></span> <span class="keywordsign">'</span>a<br> <span class="keyword">val</span> all_but_last : <span class="keywordsign">'</span>a list <span class="keywordsign">-></span> <span class="keywordsign">'</span>a list<br> <span class="keyword">val</span> extremes : <span class="keywordsign">'</span>a list <span class="keywordsign">-></span> <span class="keywordsign">'</span>a * <span class="keywordsign">'</span>a<br> <span class="keyword">val</span> extremes_and_middle : <span class="keywordsign">'</span>a list <span class="keywordsign">-></span> <span class="keywordsign">'</span>a * <span class="keywordsign">'</span>a list * <span class="keywordsign">'</span>a<br> <span class="keyword">val</span> ilist : int <span class="keywordsign">-></span> int <span class="keywordsign">-></span> int list<br> <span class="keyword">val</span> ilist_null : int <span class="keywordsign">-></span> int <span class="keywordsign">-></span> int list<br> <span class="keyword">val</span> ilist_fail_null : int <span class="keywordsign">-></span> int <span class="keywordsign">-></span> int list<br> <span class="keyword">val</span> indx : <span class="keywordsign">'</span>a list <span class="keywordsign">-></span> int list<br> <span class="keyword">val</span> indx0 : <span class="keywordsign">'</span>a list <span class="keywordsign">-></span> int list<br> <span class="keyword">val</span> indxn : int <span class="keywordsign">-></span> <span class="keywordsign">'</span>a list <span class="keywordsign">-></span> int list<br> <span class="keyword">val</span> drop_evens : <span class="keywordsign">'</span>a list <span class="keywordsign">-></span> <span class="keywordsign">'</span>a list<br> <span class="keyword">val</span> really_drop_evens : <span class="keywordsign">'</span>a list <span class="keywordsign">-></span> <span class="keywordsign">'</span>a list<br> <span class="keyword">val</span> drop_odds : <span class="keywordsign">'</span>a list <span class="keywordsign">-></span> <span class="keywordsign">'</span>a list<br> <span class="keyword">val</span> tail_no_fail : <span class="keywordsign">'</span>a list <span class="keywordsign">-></span> <span class="keywordsign">'</span>a list<br> <span class="keyword">val</span> ( @@ ) : <span class="keywordsign">'</span>a list <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> replaceinlist : (<span class="keywordsign">'</span>a <span class="keywordsign">-></span> bool) <span class="keywordsign">-></span> <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> index : (<span class="keywordsign">'</span>a <span class="keywordsign">-></span> bool) <span class="keywordsign">-></span> <span class="keywordsign">'</span>a list <span class="keywordsign">-></span> int<br> <span class="keyword">val</span> i32ofi : int <span class="keywordsign">-></span> int32<br> <span class="keyword">val</span> i32toi : int32 <span class="keywordsign">-></span> int<br> <span class="keyword">val</span> i32tof : int32 <span class="keywordsign">-></span> float<br> <span class="keyword">val</span> i32add : int32 <span class="keywordsign">-></span> int32 <span class="keywordsign">-></span> int32<br> <span class="keyword">val</span> i32sub : int32 <span class="keywordsign">-></span> int32 <span class="keywordsign">-></span> int32<br> <span class="keyword">val</span> i32div : int32 <span class="keywordsign">-></span> int32 <span class="keywordsign">-></span> int32<br> <span class="keyword">val</span> i32mul : int32 <span class="keywordsign">-></span> int32 <span class="keywordsign">-></span> int32<br> <span class="keyword">val</span> lsr32 : int32 <span class="keywordsign">-></span> int <span class="keywordsign">-></span> int32<br> <span class="keyword">val</span> lsl32 : int32 <span class="keywordsign">-></span> int <span class="keywordsign">-></span> int32<br> <span class="keyword">val</span> lor32 : int32 <span class="keywordsign">-></span> int32 <span class="keywordsign">-></span> int32<br> <span class="keyword">val</span> land32 : int32 <span class="keywordsign">-></span> int32 <span class="keywordsign">-></span> int32<br> <span class="keyword">val</span> lxor32 : int32 <span class="keywordsign">-></span> int32 <span class="keywordsign">-></span> int32<br> <span class="keyword">val</span> i32succ : int32 <span class="keywordsign">-></span> int32<br> <span class="keyword">val</span> i32pred : int32 <span class="keywordsign">-></span> int32<br> <span class="keyword">val</span> i32max : <span class="keywordsign">'</span>a <span class="keywordsign">-></span> <span class="keywordsign">'</span>a <span class="keywordsign">-></span> <span class="keywordsign">'</span>a<br> <span class="keyword">val</span> i32min : <span class="keywordsign">'</span>a <span class="keywordsign">-></span> <span class="keywordsign">'</span>a <span class="keywordsign">-></span> <span class="keywordsign">'</span>a<br> <span class="keyword">val</span> i64ofi : int <span class="keywordsign">-></span> int64<br> <span class="keyword">val</span> i64toi : int64 <span class="keywordsign">-></span> int<br> <span class="keyword">val</span> i64add : int64 <span class="keywordsign">-></span> int64 <span class="keywordsign">-></span> int64<br> <span class="keyword">val</span> i64sub : int64 <span class="keywordsign">-></span> int64 <span class="keywordsign">-></span> int64<br> <span class="keyword">val</span> i64mul : int64 <span class="keywordsign">-></span> int64 <span class="keywordsign">-></span> int64<br> <span class="keyword">val</span> i64div : int64 <span class="keywordsign">-></span> int64 <span class="keywordsign">-></span> int64<br> <span class="keyword">val</span> lsr64 : int64 <span class="keywordsign">-></span> int <span class="keywordsign">-></span> int64<br> <span class="keyword">val</span> lsl64 : int64 <span class="keywordsign">-></span> int <span class="keywordsign">-></span> int64<br> <span class="keyword">val</span> lor64 : int64 <span class="keywordsign">-></span> int64 <span class="keywordsign">-></span> int64<br> <span class="keyword">val</span> i64succ : int64 <span class="keywordsign">-></span> int64<br> <span class="keyword">val</span> i64pred : int64 <span class="keywordsign">-></span> int64<br> <span class="keyword">val</span> i64max : <span class="keywordsign">'</span>a <span class="keywordsign">-></span> <span class="keywordsign">'</span>a <span class="keywordsign">-></span> <span class="keywordsign">'</span>a<br> <span class="keyword">val</span> i64min : <span class="keywordsign">'</span>a <span class="keywordsign">-></span> <span class="keywordsign">'</span>a <span class="keywordsign">-></span> <span class="keywordsign">'</span>a<br> <span class="keyword">type</span> <span class="keywordsign">'</span>a queue = <span class="keywordsign">'</span>a list * <span class="keywordsign">'</span>a list<br> <span class="keyword">val</span> q_mk : <span class="keywordsign">'</span>a <span class="constructor">Utility</span>.queue<br> <span class="keyword">val</span> q_enq : <span class="keywordsign">'</span>a <span class="constructor">Utility</span>.queue <span class="keywordsign">-></span> <span class="keywordsign">'</span>a <span class="keywordsign">-></span> <span class="keywordsign">'</span>a <span class="constructor">Utility</span>.queue<br> <span class="keyword">val</span> q_null : <span class="keywordsign">'</span>a <span class="constructor">Utility</span>.queue <span class="keywordsign">-></span> bool<br> <span class="keyword">exception</span> <span class="constructor">EmptyQueue</span><br> <span class="keyword">val</span> q_hd : <span class="keywordsign">'</span>a <span class="constructor">Utility</span>.queue <span class="keywordsign">-></span> <span class="keywordsign">'</span>a<br> <span class="keyword">val</span> q_deq : <span class="keywordsign">'</span>a <span class="constructor">Utility</span>.queue <span class="keywordsign">-></span> <span class="keywordsign">'</span>a <span class="constructor">Utility</span>.queue<br> <span class="keyword">val</span> q_len : <span class="keywordsign">'</span>a <span class="constructor">Utility</span>.queue <span class="keywordsign">-></span> int<br> <span class="keyword">val</span> list_of_q : <span class="keywordsign">'</span>a <span class="constructor">Utility</span>.queue <span class="keywordsign">-></span> <span class="keywordsign">'</span>a list<br> <span class="keyword">val</span> q_of_list : <span class="keywordsign">'</span>a list <span class="keywordsign">-></span> <span class="keywordsign">'</span>a <span class="constructor">Utility</span>.queue<br> <span class="keyword">type</span> bytestream<br> <span class="keyword">val</span> mkstream : int <span class="keywordsign">-></span> <span class="constructor">Utility</span>.bytestream<br> <span class="keyword">val</span> stream_size : <span class="constructor">Utility</span>.bytestream <span class="keywordsign">-></span> int<br> <span class="keyword">val</span> fillstream : int <span class="keywordsign">-></span> <span class="constructor">Utility</span>.bytestream <span class="keywordsign">-></span> unit<br> <span class="keyword">val</span> print_stream : <span class="constructor">Utility</span>.bytestream <span class="keywordsign">-></span> unit<br> <span class="keyword">val</span> sget : <span class="constructor">Utility</span>.bytestream <span class="keywordsign">-></span> int <span class="keywordsign">-></span> int<br> <span class="keyword">val</span> sset : <span class="constructor">Utility</span>.bytestream <span class="keywordsign">-></span> int <span class="keywordsign">-></span> int <span class="keywordsign">-></span> unit<br> <span class="keyword">val</span> bytestream_sub : <span class="constructor">Utility</span>.bytestream <span class="keywordsign">-></span> int <span class="keywordsign">-></span> int <span class="keywordsign">-></span> <span class="constructor">Utility</span>.bytestream<br> <span class="keyword">val</span> bytestream_of_string : string <span class="keywordsign">-></span> <span class="constructor">Utility</span>.bytestream<br> <span class="keyword">val</span> bytestream_of_list : int list <span class="keywordsign">-></span> <span class="constructor">Utility</span>.bytestream<br> <span class="keyword">val</span> bytestream_of_charlist : char list <span class="keywordsign">-></span> <span class="constructor">Utility</span>.bytestream<br> <span class="keyword">val</span> bytestream_of_arraylist : int array list <span class="keywordsign">-></span> <span class="constructor">Utility</span>.bytestream<br> <span class="keyword">val</span> stream_of_int_array : int array <span class="keywordsign">-></span> <span class="constructor">Utility</span>.bytestream<br> <span class="keyword">val</span> int_array_of_stream : <span class="constructor">Utility</span>.bytestream <span class="keywordsign">-></span> int array<br> <span class="keyword">val</span> int_array_of_string : string <span class="keywordsign">-></span> int array<br> <span class="keyword">val</span> string_of_int_arrays : int array list <span class="keywordsign">-></span> string<br> <span class="keyword">val</span> string_of_int_array : int array <span class="keywordsign">-></span> string<br> <span class="keyword">val</span> string_of_bytestream : <span class="constructor">Utility</span>.bytestream <span class="keywordsign">-></span> string<br> <span class="keyword">val</span> charlist_of_bytestream : <span class="constructor">Utility</span>.bytestream <span class="keywordsign">-></span> char list<br> <span class="keyword">val</span> copystream : <span class="constructor">Utility</span>.bytestream <span class="keywordsign">-></span> <span class="constructor">Utility</span>.bytestream<br> <span class="keyword">val</span> lookup : <span class="keywordsign">'</span>a <span class="keywordsign">-></span> (<span class="keywordsign">'</span>a * <span class="keywordsign">'</span>b) list <span class="keywordsign">-></span> <span class="keywordsign">'</span>b option<br> <span class="keyword">val</span> lookup_failnull : <span class="keywordsign">'</span>a <span class="keywordsign">-></span> (<span class="keywordsign">'</span>a * <span class="keywordsign">'</span>b) list <span class="keywordsign">-></span> <span class="keywordsign">'</span>b<br> <span class="keyword">val</span> add : <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="keywordsign">'</span>b) list <span class="keywordsign">-></span> (<span class="keywordsign">'</span>a * <span class="keywordsign">'</span>b) list<br> <span class="keyword">val</span> replace : <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="keywordsign">'</span>b) list <span class="keywordsign">-></span> (<span class="keywordsign">'</span>a * <span class="keywordsign">'</span>b) list<br> <span class="keyword">val</span> remove : <span class="keywordsign">'</span>a <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) list<br> <span class="keyword">val</span> mergedict : (<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) list <span class="keywordsign">-></span> (<span class="keywordsign">'</span>a * <span class="keywordsign">'</span>b) list<br> <span class="keyword">val</span> set : bool <span class="constructor">Pervasives</span>.ref <span class="keywordsign">-></span> unit<br> <span class="keyword">val</span> clear : bool <span class="constructor">Pervasives</span>.ref <span class="keywordsign">-></span> unit<br> <span class="keyword">val</span> flip : bool <span class="constructor">Pervasives</span>.ref <span class="keywordsign">-></span> unit<br> <span class="keyword">val</span> ( += ) : int <span class="constructor">Pervasives</span>.ref <span class="keywordsign">-></span> int <span class="keywordsign">-></span> unit<br> <span class="keyword">val</span> ( -= ) : int <span class="constructor">Pervasives</span>.ref <span class="keywordsign">-></span> int <span class="keywordsign">-></span> unit<br> <span class="keyword">val</span> ( /= ) : int <span class="constructor">Pervasives</span>.ref <span class="keywordsign">-></span> int <span class="keywordsign">-></span> unit<br> <span class="keyword">val</span> ( *= ) : int <span class="constructor">Pervasives</span>.ref <span class="keywordsign">-></span> int <span class="keywordsign">-></span> unit<br> <span class="keyword">val</span> ( +.= ) : float <span class="constructor">Pervasives</span>.ref <span class="keywordsign">-></span> float <span class="keywordsign">-></span> unit<br> <span class="keyword">val</span> ( -.= ) : float <span class="constructor">Pervasives</span>.ref <span class="keywordsign">-></span> float <span class="keywordsign">-></span> unit<br> <span class="keyword">val</span> ( /.= ) : float <span class="constructor">Pervasives</span>.ref <span class="keywordsign">-></span> float <span class="keywordsign">-></span> unit<br> <span class="keyword">val</span> ( *.= ) : float <span class="constructor">Pervasives</span>.ref <span class="keywordsign">-></span> float <span class="keywordsign">-></span> unit<br> <span class="keyword">val</span> ( =| ) : <span class="keywordsign">'</span>a list <span class="constructor">Pervasives</span>.ref <span class="keywordsign">-></span> <span class="keywordsign">'</span>a <span class="keywordsign">-></span> unit<br> <span class="keyword">val</span> ( =@ ) : <span class="keywordsign">'</span>a list <span class="constructor">Pervasives</span>.ref <span class="keywordsign">-></span> <span class="keywordsign">'</span>a list <span class="keywordsign">-></span> unit<br> <span class="keyword">type</span> vector = float * float<br> <span class="keyword">val</span> mkvector : float * float <span class="keywordsign">-></span> float * float <span class="keywordsign">-></span> <span class="constructor">Utility</span>.vector<br> <span class="keyword">val</span> invert : <span class="constructor">Utility</span>.vector <span class="keywordsign">-></span> <span class="constructor">Utility</span>.vector<br> <span class="keyword">val</span> offset_point : <span class="constructor">Utility</span>.vector <span class="keywordsign">-></span> float * float <span class="keywordsign">-></span> <span class="constructor">Utility</span>.vector<br> <span class="keyword">val</span> perpendicular : <span class="keywordsign">'</span>a * float <span class="keywordsign">-></span> float * <span class="keywordsign">'</span>a<br> <span class="keyword">val</span> veclength : <span class="constructor">Utility</span>.vector <span class="keywordsign">-></span> float<br> <span class="keyword">val</span> scalevectolength : float <span class="keywordsign">-></span> <span class="constructor">Utility</span>.vector <span class="keywordsign">-></span> <span class="constructor">Utility</span>.vector<br> <span class="keyword">val</span> mkunitvector : float * float <span class="keywordsign">-></span> float * float <span class="keywordsign">-></span> <span class="constructor">Utility</span>.vector<br> <span class="keyword">val</span> between : float * float <span class="keywordsign">-></span> float * float <span class="keywordsign">-></span> float * float<br> <span class="keyword">val</span> distance_between : float * float <span class="keywordsign">-></span> float * float <span class="keywordsign">-></span> float<br> <span class="keyword">val</span> round : float <span class="keywordsign">-></span> float<br> <span class="keyword">val</span> largest_pow2_divisible : int <span class="keywordsign">-></span> int<br> <span class="keyword">val</span> pow2lt : int <span class="keywordsign">-></span> int<br> <span class="keyword">val</span> pow2gt : int <span class="keywordsign">-></span> int<br> <span class="keyword">val</span> log2of : int <span class="keywordsign">-></span> int<br> <span class="keyword">val</span> pow : int <span class="keywordsign">-></span> int <span class="keywordsign">-></span> int<br> <span class="keyword">val</span> compare_i : int <span class="keywordsign">-></span> int <span class="keywordsign">-></span> int<br> <span class="keyword">val</span> min : int <span class="keywordsign">-></span> int <span class="keywordsign">-></span> int<br> <span class="keyword">val</span> max : int <span class="keywordsign">-></span> int <span class="keywordsign">-></span> int<br> <span class="keyword">val</span> fmin : float <span class="keywordsign">-></span> float <span class="keywordsign">-></span> float<br> <span class="keyword">val</span> fmax : float <span class="keywordsign">-></span> float <span class="keywordsign">-></span> float<br> <span class="keyword">val</span> fabs : float <span class="keywordsign">-></span> float<br> <span class="keyword">val</span> even : int <span class="keywordsign">-></span> bool<br> <span class="keyword">val</span> odd : int <span class="keywordsign">-></span> bool<br> <span class="keyword">val</span> pi : float<br> <span class="keyword">val</span> root2 : float<br> <span class="keyword">val</span> rad_of_deg : float <span class="keywordsign">-></span> float<br> <span class="keyword">val</span> deg_of_rad : float <span class="keywordsign">-></span> float<br> <span class="keyword">val</span> some : <span class="keywordsign">'</span>a option <span class="keywordsign">-></span> bool<br> <span class="keyword">val</span> none : <span class="keywordsign">'</span>a option <span class="keywordsign">-></span> bool<br> <span class="keyword">val</span> unopt : <span class="keywordsign">'</span>a option <span class="keywordsign">-></span> <span class="keywordsign">'</span>a<br> <span class="keyword">val</span> always : <span class="keywordsign">'</span>a <span class="keywordsign">-></span> bool<br> <span class="keyword">val</span> never : <span class="keywordsign">'</span>a <span class="keywordsign">-></span> bool<br> <span class="keyword">val</span> ( |&| ) : bool <span class="keywordsign">-></span> bool <span class="keywordsign">-></span> bool<br> <span class="keyword">val</span> ident : <span class="keywordsign">'</span>a <span class="keywordsign">-></span> <span class="keywordsign">'</span>a<br> <span class="keyword">val</span> array_iter2 : (<span class="keywordsign">'</span>a <span class="keywordsign">-></span> <span class="keywordsign">'</span>b <span class="keywordsign">-></span> unit) <span class="keywordsign">-></span> <span class="keywordsign">'</span>a array <span class="keywordsign">-></span> <span class="keywordsign">'</span>b array <span class="keywordsign">-></span> unit<br> <span class="keyword">val</span> array_map2 : (<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> <span class="keywordsign">'</span>a array <span class="keywordsign">-></span> <span class="keywordsign">'</span>b array <span class="keywordsign">-></span> <span class="keywordsign">'</span>c array<br> <span class="keyword">val</span> megabytes : int <span class="keywordsign">-></span> int<br> <span class="keyword">val</span> applyn : (<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 <span class="keywordsign">-></span> <span class="keywordsign">'</span>a<br> <span class="keyword">type</span> <span class="keywordsign">'</span>a tree = <span class="constructor">Lf</span> <span class="keywordsign">|</span> <span class="constructor">Br</span> <span class="keyword">of</span> <span class="keywordsign">'</span>a * <span class="keywordsign">'</span>a <span class="constructor">Utility</span>.tree * <span class="keywordsign">'</span>a <span class="constructor">Utility</span>.tree<br> <span class="keyword">val</span> null_hash : unit <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> tryfind : (<span class="keywordsign">'</span>a, <span class="keywordsign">'</span>b) <span class="constructor">Hashtbl</span>.t <span class="keywordsign">-></span> <span class="keywordsign">'</span>a <span class="keywordsign">-></span> <span class="keywordsign">'</span>b option<br> <span class="keyword">val</span> list_of_hashtbl : (<span class="keywordsign">'</span>a, <span class="keywordsign">'</span>b) <span class="constructor">Hashtbl</span>.t <span class="keywordsign">-></span> (<span class="keywordsign">'</span>a * <span class="keywordsign">'</span>b) list<br> <span class="keyword">val</span> hashtable_of_dictionary : (<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> tuple : <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="keywordsign">'</span>b<br> <span class="keyword">val</span> mkunit : (<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="keywordsign">-></span> unit <span class="keywordsign">-></span> <span class="keywordsign">'</span>b<br> <span class="keyword">val</span> ( <| ) : (<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="keywordsign">-></span> <span class="keywordsign">'</span>b<br> <span class="keyword">val</span> conspair : (<span class="keywordsign">'</span>a * <span class="keywordsign">'</span>b) * (<span class="keywordsign">'</span>a list * <span class="keywordsign">'</span>b list) <span class="keywordsign">-></span> <span class="keywordsign">'</span>a list * <span class="keywordsign">'</span>b list<br> <span class="keyword">val</span> conspairopt :<br> (<span class="keywordsign">'</span>a option * <span class="keywordsign">'</span>b option) * (<span class="keywordsign">'</span>a list * <span class="keywordsign">'</span>b list) <span class="keywordsign">-></span> <span class="keywordsign">'</span>a list * <span class="keywordsign">'</span>b list<br> <span class="keyword">val</span> pairs_of_list : <span class="keywordsign">'</span>a list <span class="keywordsign">-></span> (<span class="keywordsign">'</span>a * <span class="keywordsign">'</span>a) list<br> <span class="keyword">val</span> until_exception : <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> set_array : <span class="keywordsign">'</span>a array <span class="keywordsign">-></span> <span class="keywordsign">'</span>a <span class="keywordsign">-></span> unit<br> <span class="keyword">val</span> do_return : (unit <span class="keywordsign">-></span> <span class="keywordsign">'</span>a) <span class="keywordsign">-></span> (unit <span class="keywordsign">-></span> <span class="keywordsign">'</span>b) <span class="keywordsign">-></span> <span class="keywordsign">'</span>a<br> <span class="keyword">val</span> do_many : (unit <span class="keywordsign">-></span> unit) <span class="keywordsign">-></span> int <span class="keywordsign">-></span> unit<br> <span class="keyword">val</span> isdigit : char <span class="keywordsign">-></span> bool<br> <span class="keyword">val</span> toint : float <span class="keywordsign">-></span> int<br> <span class="keyword">val</span> notpred : (<span class="keywordsign">'</span>a <span class="keywordsign">-></span> bool) <span class="keywordsign">-></span> <span class="keywordsign">'</span>a <span class="keywordsign">-></span> bool<br> <span class="keyword">val</span> eq : <span class="keywordsign">'</span>a <span class="keywordsign">-></span> <span class="keywordsign">'</span>a <span class="keywordsign">-></span> bool<br> <span class="keyword">val</span> neq : <span class="keywordsign">'</span>a <span class="keywordsign">-></span> <span class="keywordsign">'</span>a <span class="keywordsign">-></span> bool<br> <span class="keyword">val</span> rev_compare : <span class="keywordsign">'</span>a <span class="keywordsign">-></span> <span class="keywordsign">'</span>a <span class="keywordsign">-></span> int<br> <span class="keyword">val</span> flprint : string <span class="keywordsign">-></span> unit<br> <span class="keyword">val</span> swap : <span class="keywordsign">'</span>a array <span class="keywordsign">-></span> int <span class="keywordsign">-></span> int <span class="keywordsign">-></span> unit<br> <span class="keyword">type</span> stream = { <span class="keyword">mutable</span> pos : int; <span class="keyword">mutable</span> data : <span class="constructor">Utility</span>.bytestream; }<br> <span class="keyword">val</span> sqr : float <span class="keywordsign">-></span> float<br> <span class="keyword">val</span> safe_float : float <span class="keywordsign">-></span> float<br> <span class="keyword">val</span> box_union :<br> int * int * int * int <span class="keywordsign">-></span> int * int * int * int <span class="keywordsign">-></span> int * int * int * int<br> <span class="keyword">val</span> box_union_float :<br> float * float * float * float <span class="keywordsign">-></span><br> float * float * float * float <span class="keywordsign">-></span> float * float * float * float<br> <span class="keyword">val</span> box_overlap :<br> int <span class="keywordsign">-></span><br> int <span class="keywordsign">-></span><br> int <span class="keywordsign">-></span> int <span class="keywordsign">-></span> int <span class="keywordsign">-></span> int <span class="keywordsign">-></span> int <span class="keywordsign">-></span> int <span class="keywordsign">-></span> (int * int * int * int) option<br> <span class="keyword">val</span> box_overlap_float :<br> float <span class="keywordsign">-></span><br> float <span class="keywordsign">-></span><br> float <span class="keywordsign">-></span><br> float <span class="keywordsign">-></span><br> float <span class="keywordsign">-></span><br> float <span class="keywordsign">-></span> float <span class="keywordsign">-></span> float <span class="keywordsign">-></span> (float * float * float * float) option<br> <span class="keyword">val</span> print_floats : float list <span class="keywordsign">-></span> unit<br> <span class="keyword">val</span> print_ints : int list <span class="keywordsign">-></span> unit<br> <span class="keyword">val</span> print_int32s : int32 list <span class="keywordsign">-></span> unit<br> <span class="keyword">val</span> digest : string <span class="keywordsign">-></span> string<br> <span class="keyword">val</span> slash : string<br> <span class="keyword">val</span> leafnames_of_dir : string <span class="keywordsign">-></span> string list<br> <span class="keyword">val</span> split_around : (<span class="keywordsign">'</span>a <span class="keywordsign">-></span> bool) <span class="keywordsign">-></span> <span class="keywordsign">'</span>a list <span class="keywordsign">-></span> <span class="keywordsign">'</span>a list list<br> <span class="keyword">end</span></code></body></html>