1810 lines
15 KiB
HTML
1810 lines
15 KiB
HTML
|
|
<!DOCTYPE HTML PUBLIC "-//W3C//DTD HTML 4.01 Transitional//EN">
|
|
<HTML><HEAD><TITLE>Man page of Stdlib.Pervasives</TITLE>
|
|
</HEAD><BODY>
|
|
<H1>Stdlib.Pervasives</H1>
|
|
Section: OCaml library (3o)<BR>Updated: 2020-01-30<BR><A HREF="#index">Index</A>
|
|
<A HREF="/cgi-bin/man/man2html">Return to Main Contents</A><HR>
|
|
|
|
<A NAME="lbAB"> </A>
|
|
<H2>NAME</H2>
|
|
|
|
Stdlib.Pervasives - no description
|
|
<A NAME="lbAC"> </A>
|
|
<H2>Module</H2>
|
|
|
|
Module Stdlib.Pervasives
|
|
<A NAME="lbAD"> </A>
|
|
<H2>Documentation</H2>
|
|
|
|
<P>
|
|
Module
|
|
<B>Pervasives</B>
|
|
|
|
<BR> :
|
|
<B>(module Stdlib__pervasives)</B>
|
|
|
|
<P>
|
|
<P>
|
|
<P>
|
|
<P>
|
|
<P>
|
|
<P>
|
|
<P>
|
|
<P>
|
|
<I>val raise </I>
|
|
|
|
:
|
|
<B>exn -> 'a</B>
|
|
|
|
<P>
|
|
<P>
|
|
<P>
|
|
<P>
|
|
<I>val raise_notrace </I>
|
|
|
|
:
|
|
<B>exn -> 'a</B>
|
|
|
|
<P>
|
|
<P>
|
|
<P>
|
|
<P>
|
|
<I>val invalid_arg </I>
|
|
|
|
:
|
|
<B>string -> 'a</B>
|
|
|
|
<P>
|
|
<P>
|
|
<P>
|
|
<P>
|
|
<I>val failwith </I>
|
|
|
|
:
|
|
<B>string -> 'a</B>
|
|
|
|
<P>
|
|
<P>
|
|
<P>
|
|
<P>
|
|
<I>exception Exit </I>
|
|
|
|
<P>
|
|
<P>
|
|
<P>
|
|
<P>
|
|
<P>
|
|
<I>val (=) </I>
|
|
|
|
:
|
|
<B>'a -> 'a -> bool</B>
|
|
|
|
<P>
|
|
<P>
|
|
<P>
|
|
<P>
|
|
<I>val (<>) </I>
|
|
|
|
:
|
|
<B>'a -> 'a -> bool</B>
|
|
|
|
<P>
|
|
<P>
|
|
<P>
|
|
<P>
|
|
<I>val (<) </I>
|
|
|
|
:
|
|
<B>'a -> 'a -> bool</B>
|
|
|
|
<P>
|
|
<P>
|
|
<P>
|
|
<P>
|
|
<I>val (>) </I>
|
|
|
|
:
|
|
<B>'a -> 'a -> bool</B>
|
|
|
|
<P>
|
|
<P>
|
|
<P>
|
|
<P>
|
|
<I>val (<=) </I>
|
|
|
|
:
|
|
<B>'a -> 'a -> bool</B>
|
|
|
|
<P>
|
|
<P>
|
|
<P>
|
|
<P>
|
|
<I>val (>=) </I>
|
|
|
|
:
|
|
<B>'a -> 'a -> bool</B>
|
|
|
|
<P>
|
|
<P>
|
|
<P>
|
|
<P>
|
|
<I>val compare </I>
|
|
|
|
:
|
|
<B>'a -> 'a -> int</B>
|
|
|
|
<P>
|
|
<P>
|
|
<P>
|
|
<P>
|
|
<I>val min </I>
|
|
|
|
:
|
|
<B>'a -> 'a -> 'a</B>
|
|
|
|
<P>
|
|
<P>
|
|
<P>
|
|
<P>
|
|
<I>val max </I>
|
|
|
|
:
|
|
<B>'a -> 'a -> 'a</B>
|
|
|
|
<P>
|
|
<P>
|
|
<P>
|
|
<P>
|
|
<I>val (==) </I>
|
|
|
|
:
|
|
<B>'a -> 'a -> bool</B>
|
|
|
|
<P>
|
|
<P>
|
|
<P>
|
|
<P>
|
|
<I>val (!=) </I>
|
|
|
|
:
|
|
<B>'a -> 'a -> bool</B>
|
|
|
|
<P>
|
|
<P>
|
|
<P>
|
|
<P>
|
|
<I>val not </I>
|
|
|
|
:
|
|
<B>bool -> bool</B>
|
|
|
|
<P>
|
|
<P>
|
|
<P>
|
|
<P>
|
|
<I>val (&&) </I>
|
|
|
|
:
|
|
<B>bool -> bool -> bool</B>
|
|
|
|
<P>
|
|
<P>
|
|
<P>
|
|
<P>
|
|
<I>val (&) </I>
|
|
|
|
:
|
|
<B>bool -> bool -> bool</B>
|
|
|
|
<P>
|
|
<P>
|
|
<P>
|
|
<P>
|
|
<I>val (||) </I>
|
|
|
|
:
|
|
<B>bool -> bool -> bool</B>
|
|
|
|
<P>
|
|
<P>
|
|
<P>
|
|
<P>
|
|
<I>val (or) </I>
|
|
|
|
:
|
|
<B>bool -> bool -> bool</B>
|
|
|
|
<P>
|
|
<P>
|
|
<P>
|
|
<P>
|
|
<I>val __LOC__ </I>
|
|
|
|
:
|
|
<B>string</B>
|
|
|
|
<P>
|
|
<P>
|
|
<P>
|
|
<P>
|
|
<I>val __FILE__ </I>
|
|
|
|
:
|
|
<B>string</B>
|
|
|
|
<P>
|
|
<P>
|
|
<P>
|
|
<P>
|
|
<I>val __LINE__ </I>
|
|
|
|
:
|
|
<B>int</B>
|
|
|
|
<P>
|
|
<P>
|
|
<P>
|
|
<P>
|
|
<I>val __MODULE__ </I>
|
|
|
|
:
|
|
<B>string</B>
|
|
|
|
<P>
|
|
<P>
|
|
<P>
|
|
<P>
|
|
<I>val __POS__ </I>
|
|
|
|
:
|
|
<B>string * int * int * int</B>
|
|
|
|
<P>
|
|
<P>
|
|
<P>
|
|
<P>
|
|
<I>val __LOC_OF__ </I>
|
|
|
|
:
|
|
<B>'a -> string * 'a</B>
|
|
|
|
<P>
|
|
<P>
|
|
<P>
|
|
<P>
|
|
<I>val __LINE_OF__ </I>
|
|
|
|
:
|
|
<B>'a -> int * 'a</B>
|
|
|
|
<P>
|
|
<P>
|
|
<P>
|
|
<P>
|
|
<I>val __POS_OF__ </I>
|
|
|
|
:
|
|
<B>'a -> (string * int * int * int) * 'a</B>
|
|
|
|
<P>
|
|
<P>
|
|
<P>
|
|
<P>
|
|
<I>val (|>) </I>
|
|
|
|
:
|
|
<B>'a -> ('a -> 'b) -> 'b</B>
|
|
|
|
<P>
|
|
<P>
|
|
<P>
|
|
<P>
|
|
<I>val (@@) </I>
|
|
|
|
:
|
|
<B>('a -> 'b) -> 'a -> 'b</B>
|
|
|
|
<P>
|
|
<P>
|
|
<P>
|
|
<P>
|
|
<I>val (~-) </I>
|
|
|
|
:
|
|
<B>int -> int</B>
|
|
|
|
<P>
|
|
<P>
|
|
<P>
|
|
<P>
|
|
<I>val (~+) </I>
|
|
|
|
:
|
|
<B>int -> int</B>
|
|
|
|
<P>
|
|
<P>
|
|
<P>
|
|
<P>
|
|
<I>val succ </I>
|
|
|
|
:
|
|
<B>int -> int</B>
|
|
|
|
<P>
|
|
<P>
|
|
<P>
|
|
<P>
|
|
<I>val pred </I>
|
|
|
|
:
|
|
<B>int -> int</B>
|
|
|
|
<P>
|
|
<P>
|
|
<P>
|
|
<P>
|
|
<I>val (+) </I>
|
|
|
|
:
|
|
<B>int -> int -> int</B>
|
|
|
|
<P>
|
|
<P>
|
|
<P>
|
|
<P>
|
|
<I>val (-) </I>
|
|
|
|
:
|
|
<B>int -> int -> int</B>
|
|
|
|
<P>
|
|
<P>
|
|
<P>
|
|
<P>
|
|
<I>val ( * ) </I>
|
|
|
|
:
|
|
<B>int -> int -> int</B>
|
|
|
|
<P>
|
|
<P>
|
|
<P>
|
|
<P>
|
|
<I>val (/) </I>
|
|
|
|
:
|
|
<B>int -> int -> int</B>
|
|
|
|
<P>
|
|
<P>
|
|
<P>
|
|
<P>
|
|
<I>val (mod) </I>
|
|
|
|
:
|
|
<B>int -> int -> int</B>
|
|
|
|
<P>
|
|
<P>
|
|
<P>
|
|
<P>
|
|
<I>val abs </I>
|
|
|
|
:
|
|
<B>int -> int</B>
|
|
|
|
<P>
|
|
<P>
|
|
<P>
|
|
<P>
|
|
<I>val max_int </I>
|
|
|
|
:
|
|
<B>int</B>
|
|
|
|
<P>
|
|
<P>
|
|
<P>
|
|
<P>
|
|
<I>val min_int </I>
|
|
|
|
:
|
|
<B>int</B>
|
|
|
|
<P>
|
|
<P>
|
|
<P>
|
|
<P>
|
|
<I>val (land) </I>
|
|
|
|
:
|
|
<B>int -> int -> int</B>
|
|
|
|
<P>
|
|
<P>
|
|
<P>
|
|
<P>
|
|
<I>val (lor) </I>
|
|
|
|
:
|
|
<B>int -> int -> int</B>
|
|
|
|
<P>
|
|
<P>
|
|
<P>
|
|
<P>
|
|
<I>val (lxor) </I>
|
|
|
|
:
|
|
<B>int -> int -> int</B>
|
|
|
|
<P>
|
|
<P>
|
|
<P>
|
|
<P>
|
|
<I>val lnot </I>
|
|
|
|
:
|
|
<B>int -> int</B>
|
|
|
|
<P>
|
|
<P>
|
|
<P>
|
|
<P>
|
|
<I>val (lsl) </I>
|
|
|
|
:
|
|
<B>int -> int -> int</B>
|
|
|
|
<P>
|
|
<P>
|
|
<P>
|
|
<P>
|
|
<I>val (lsr) </I>
|
|
|
|
:
|
|
<B>int -> int -> int</B>
|
|
|
|
<P>
|
|
<P>
|
|
<P>
|
|
<P>
|
|
<I>val (asr) </I>
|
|
|
|
:
|
|
<B>int -> int -> int</B>
|
|
|
|
<P>
|
|
<P>
|
|
<P>
|
|
<P>
|
|
<I>val (~-.) </I>
|
|
|
|
:
|
|
<B>float -> float</B>
|
|
|
|
<P>
|
|
<P>
|
|
<P>
|
|
<P>
|
|
<I>val (~+.) </I>
|
|
|
|
:
|
|
<B>float -> float</B>
|
|
|
|
<P>
|
|
<P>
|
|
<P>
|
|
<P>
|
|
<I>val (+.) </I>
|
|
|
|
:
|
|
<B>float -> float -> float</B>
|
|
|
|
<P>
|
|
<P>
|
|
<P>
|
|
<P>
|
|
<I>val (-.) </I>
|
|
|
|
:
|
|
<B>float -> float -> float</B>
|
|
|
|
<P>
|
|
<P>
|
|
<P>
|
|
<P>
|
|
<I>val ( *. ) </I>
|
|
|
|
:
|
|
<B>float -> float -> float</B>
|
|
|
|
<P>
|
|
<P>
|
|
<P>
|
|
<P>
|
|
<I>val (/.) </I>
|
|
|
|
:
|
|
<B>float -> float -> float</B>
|
|
|
|
<P>
|
|
<P>
|
|
<P>
|
|
<P>
|
|
<I>val ( ** ) </I>
|
|
|
|
:
|
|
<B>float -> float -> float</B>
|
|
|
|
<P>
|
|
<P>
|
|
<P>
|
|
<P>
|
|
<I>val sqrt </I>
|
|
|
|
:
|
|
<B>float -> float</B>
|
|
|
|
<P>
|
|
<P>
|
|
<P>
|
|
<P>
|
|
<I>val exp </I>
|
|
|
|
:
|
|
<B>float -> float</B>
|
|
|
|
<P>
|
|
<P>
|
|
<P>
|
|
<P>
|
|
<I>val log </I>
|
|
|
|
:
|
|
<B>float -> float</B>
|
|
|
|
<P>
|
|
<P>
|
|
<P>
|
|
<P>
|
|
<I>val log10 </I>
|
|
|
|
:
|
|
<B>float -> float</B>
|
|
|
|
<P>
|
|
<P>
|
|
<P>
|
|
<P>
|
|
<I>val expm1 </I>
|
|
|
|
:
|
|
<B>float -> float</B>
|
|
|
|
<P>
|
|
<P>
|
|
<P>
|
|
<P>
|
|
<I>val log1p </I>
|
|
|
|
:
|
|
<B>float -> float</B>
|
|
|
|
<P>
|
|
<P>
|
|
<P>
|
|
<P>
|
|
<I>val cos </I>
|
|
|
|
:
|
|
<B>float -> float</B>
|
|
|
|
<P>
|
|
<P>
|
|
<P>
|
|
<P>
|
|
<I>val sin </I>
|
|
|
|
:
|
|
<B>float -> float</B>
|
|
|
|
<P>
|
|
<P>
|
|
<P>
|
|
<P>
|
|
<I>val tan </I>
|
|
|
|
:
|
|
<B>float -> float</B>
|
|
|
|
<P>
|
|
<P>
|
|
<P>
|
|
<P>
|
|
<I>val acos </I>
|
|
|
|
:
|
|
<B>float -> float</B>
|
|
|
|
<P>
|
|
<P>
|
|
<P>
|
|
<P>
|
|
<I>val asin </I>
|
|
|
|
:
|
|
<B>float -> float</B>
|
|
|
|
<P>
|
|
<P>
|
|
<P>
|
|
<P>
|
|
<I>val atan </I>
|
|
|
|
:
|
|
<B>float -> float</B>
|
|
|
|
<P>
|
|
<P>
|
|
<P>
|
|
<P>
|
|
<I>val atan2 </I>
|
|
|
|
:
|
|
<B>float -> float -> float</B>
|
|
|
|
<P>
|
|
<P>
|
|
<P>
|
|
<P>
|
|
<I>val hypot </I>
|
|
|
|
:
|
|
<B>float -> float -> float</B>
|
|
|
|
<P>
|
|
<P>
|
|
<P>
|
|
<P>
|
|
<I>val cosh </I>
|
|
|
|
:
|
|
<B>float -> float</B>
|
|
|
|
<P>
|
|
<P>
|
|
<P>
|
|
<P>
|
|
<I>val sinh </I>
|
|
|
|
:
|
|
<B>float -> float</B>
|
|
|
|
<P>
|
|
<P>
|
|
<P>
|
|
<P>
|
|
<I>val tanh </I>
|
|
|
|
:
|
|
<B>float -> float</B>
|
|
|
|
<P>
|
|
<P>
|
|
<P>
|
|
<P>
|
|
<I>val ceil </I>
|
|
|
|
:
|
|
<B>float -> float</B>
|
|
|
|
<P>
|
|
<P>
|
|
<P>
|
|
<P>
|
|
<I>val floor </I>
|
|
|
|
:
|
|
<B>float -> float</B>
|
|
|
|
<P>
|
|
<P>
|
|
<P>
|
|
<P>
|
|
<I>val abs_float </I>
|
|
|
|
:
|
|
<B>float -> float</B>
|
|
|
|
<P>
|
|
<P>
|
|
<P>
|
|
<P>
|
|
<I>val copysign </I>
|
|
|
|
:
|
|
<B>float -> float -> float</B>
|
|
|
|
<P>
|
|
<P>
|
|
<P>
|
|
<P>
|
|
<I>val mod_float </I>
|
|
|
|
:
|
|
<B>float -> float -> float</B>
|
|
|
|
<P>
|
|
<P>
|
|
<P>
|
|
<P>
|
|
<I>val frexp </I>
|
|
|
|
:
|
|
<B>float -> float * int</B>
|
|
|
|
<P>
|
|
<P>
|
|
<P>
|
|
<P>
|
|
<I>val ldexp </I>
|
|
|
|
:
|
|
<B>float -> int -> float</B>
|
|
|
|
<P>
|
|
<P>
|
|
<P>
|
|
<P>
|
|
<I>val modf </I>
|
|
|
|
:
|
|
<B>float -> float * float</B>
|
|
|
|
<P>
|
|
<P>
|
|
<P>
|
|
<P>
|
|
<I>val float </I>
|
|
|
|
:
|
|
<B>int -> float</B>
|
|
|
|
<P>
|
|
<P>
|
|
<P>
|
|
<P>
|
|
<I>val float_of_int </I>
|
|
|
|
:
|
|
<B>int -> float</B>
|
|
|
|
<P>
|
|
<P>
|
|
<P>
|
|
<P>
|
|
<I>val truncate </I>
|
|
|
|
:
|
|
<B>float -> int</B>
|
|
|
|
<P>
|
|
<P>
|
|
<P>
|
|
<P>
|
|
<I>val int_of_float </I>
|
|
|
|
:
|
|
<B>float -> int</B>
|
|
|
|
<P>
|
|
<P>
|
|
<P>
|
|
<P>
|
|
<I>val infinity </I>
|
|
|
|
:
|
|
<B>float</B>
|
|
|
|
<P>
|
|
<P>
|
|
<P>
|
|
<P>
|
|
<I>val neg_infinity </I>
|
|
|
|
:
|
|
<B>float</B>
|
|
|
|
<P>
|
|
<P>
|
|
<P>
|
|
<P>
|
|
<I>val nan </I>
|
|
|
|
:
|
|
<B>float</B>
|
|
|
|
<P>
|
|
<P>
|
|
<P>
|
|
<P>
|
|
<I>val max_float </I>
|
|
|
|
:
|
|
<B>float</B>
|
|
|
|
<P>
|
|
<P>
|
|
<P>
|
|
<P>
|
|
<I>val min_float </I>
|
|
|
|
:
|
|
<B>float</B>
|
|
|
|
<P>
|
|
<P>
|
|
<P>
|
|
<P>
|
|
<I>val epsilon_float </I>
|
|
|
|
:
|
|
<B>float</B>
|
|
|
|
<P>
|
|
<P>
|
|
<P>
|
|
<I>type fpclass </I>
|
|
|
|
=
|
|
<B>fpclass</B>
|
|
|
|
=
|
|
<BR> | FP_normal
|
|
<BR> | FP_subnormal
|
|
<BR> | FP_zero
|
|
<BR> | FP_infinite
|
|
<BR> | FP_nan
|
|
<BR>
|
|
<P>
|
|
<P>
|
|
<P>
|
|
<P>
|
|
<I>val classify_float </I>
|
|
|
|
:
|
|
<B>float -> fpclass</B>
|
|
|
|
<P>
|
|
<P>
|
|
<P>
|
|
<P>
|
|
<I>val (^) </I>
|
|
|
|
:
|
|
<B>string -> string -> string</B>
|
|
|
|
<P>
|
|
<P>
|
|
<P>
|
|
<P>
|
|
<I>val int_of_char </I>
|
|
|
|
:
|
|
<B>char -> int</B>
|
|
|
|
<P>
|
|
<P>
|
|
<P>
|
|
<P>
|
|
<I>val char_of_int </I>
|
|
|
|
:
|
|
<B>int -> char</B>
|
|
|
|
<P>
|
|
<P>
|
|
<P>
|
|
<P>
|
|
<I>val ignore </I>
|
|
|
|
:
|
|
<B>'a -> unit</B>
|
|
|
|
<P>
|
|
<P>
|
|
<P>
|
|
<P>
|
|
<I>val string_of_bool </I>
|
|
|
|
:
|
|
<B>bool -> string</B>
|
|
|
|
<P>
|
|
<P>
|
|
<P>
|
|
<P>
|
|
<I>val bool_of_string </I>
|
|
|
|
:
|
|
<B>string -> bool</B>
|
|
|
|
<P>
|
|
<P>
|
|
<P>
|
|
<P>
|
|
<I>val bool_of_string_opt </I>
|
|
|
|
:
|
|
<B>string -> bool option</B>
|
|
|
|
<P>
|
|
<P>
|
|
<P>
|
|
<P>
|
|
<I>val string_of_int </I>
|
|
|
|
:
|
|
<B>int -> string</B>
|
|
|
|
<P>
|
|
<P>
|
|
<P>
|
|
<P>
|
|
<I>val int_of_string </I>
|
|
|
|
:
|
|
<B>string -> int</B>
|
|
|
|
<P>
|
|
<P>
|
|
<P>
|
|
<P>
|
|
<I>val int_of_string_opt </I>
|
|
|
|
:
|
|
<B>string -> int option</B>
|
|
|
|
<P>
|
|
<P>
|
|
<P>
|
|
<P>
|
|
<I>val string_of_float </I>
|
|
|
|
:
|
|
<B>float -> string</B>
|
|
|
|
<P>
|
|
<P>
|
|
<P>
|
|
<P>
|
|
<I>val float_of_string </I>
|
|
|
|
:
|
|
<B>string -> float</B>
|
|
|
|
<P>
|
|
<P>
|
|
<P>
|
|
<P>
|
|
<I>val float_of_string_opt </I>
|
|
|
|
:
|
|
<B>string -> float option</B>
|
|
|
|
<P>
|
|
<P>
|
|
<P>
|
|
<P>
|
|
<I>val fst </I>
|
|
|
|
:
|
|
<B>'a * 'b -> 'a</B>
|
|
|
|
<P>
|
|
<P>
|
|
<P>
|
|
<P>
|
|
<I>val snd </I>
|
|
|
|
:
|
|
<B>'a * 'b -> 'b</B>
|
|
|
|
<P>
|
|
<P>
|
|
<P>
|
|
<P>
|
|
<I>val (@) </I>
|
|
|
|
:
|
|
<B>'a list -> 'a list -> 'a list</B>
|
|
|
|
<P>
|
|
<P>
|
|
<P>
|
|
<I>type in_channel </I>
|
|
|
|
=
|
|
<B>in_channel</B>
|
|
|
|
<P>
|
|
<P>
|
|
<P>
|
|
<P>
|
|
<I>type out_channel </I>
|
|
|
|
=
|
|
<B>out_channel</B>
|
|
|
|
<P>
|
|
<P>
|
|
<P>
|
|
<P>
|
|
<P>
|
|
<I>val stdin </I>
|
|
|
|
:
|
|
<B>in_channel</B>
|
|
|
|
<P>
|
|
<P>
|
|
<P>
|
|
<P>
|
|
<I>val stdout </I>
|
|
|
|
:
|
|
<B>out_channel</B>
|
|
|
|
<P>
|
|
<P>
|
|
<P>
|
|
<P>
|
|
<I>val stderr </I>
|
|
|
|
:
|
|
<B>out_channel</B>
|
|
|
|
<P>
|
|
<P>
|
|
<P>
|
|
<P>
|
|
<I>val print_char </I>
|
|
|
|
:
|
|
<B>char -> unit</B>
|
|
|
|
<P>
|
|
<P>
|
|
<P>
|
|
<P>
|
|
<I>val print_string </I>
|
|
|
|
:
|
|
<B>string -> unit</B>
|
|
|
|
<P>
|
|
<P>
|
|
<P>
|
|
<P>
|
|
<I>val print_bytes </I>
|
|
|
|
:
|
|
<B>bytes -> unit</B>
|
|
|
|
<P>
|
|
<P>
|
|
<P>
|
|
<P>
|
|
<I>val print_int </I>
|
|
|
|
:
|
|
<B>int -> unit</B>
|
|
|
|
<P>
|
|
<P>
|
|
<P>
|
|
<P>
|
|
<I>val print_float </I>
|
|
|
|
:
|
|
<B>float -> unit</B>
|
|
|
|
<P>
|
|
<P>
|
|
<P>
|
|
<P>
|
|
<I>val print_endline </I>
|
|
|
|
:
|
|
<B>string -> unit</B>
|
|
|
|
<P>
|
|
<P>
|
|
<P>
|
|
<P>
|
|
<I>val print_newline </I>
|
|
|
|
:
|
|
<B>unit -> unit</B>
|
|
|
|
<P>
|
|
<P>
|
|
<P>
|
|
<P>
|
|
<I>val prerr_char </I>
|
|
|
|
:
|
|
<B>char -> unit</B>
|
|
|
|
<P>
|
|
<P>
|
|
<P>
|
|
<P>
|
|
<I>val prerr_string </I>
|
|
|
|
:
|
|
<B>string -> unit</B>
|
|
|
|
<P>
|
|
<P>
|
|
<P>
|
|
<P>
|
|
<I>val prerr_bytes </I>
|
|
|
|
:
|
|
<B>bytes -> unit</B>
|
|
|
|
<P>
|
|
<P>
|
|
<P>
|
|
<P>
|
|
<I>val prerr_int </I>
|
|
|
|
:
|
|
<B>int -> unit</B>
|
|
|
|
<P>
|
|
<P>
|
|
<P>
|
|
<P>
|
|
<I>val prerr_float </I>
|
|
|
|
:
|
|
<B>float -> unit</B>
|
|
|
|
<P>
|
|
<P>
|
|
<P>
|
|
<P>
|
|
<I>val prerr_endline </I>
|
|
|
|
:
|
|
<B>string -> unit</B>
|
|
|
|
<P>
|
|
<P>
|
|
<P>
|
|
<P>
|
|
<I>val prerr_newline </I>
|
|
|
|
:
|
|
<B>unit -> unit</B>
|
|
|
|
<P>
|
|
<P>
|
|
<P>
|
|
<P>
|
|
<I>val read_line </I>
|
|
|
|
:
|
|
<B>unit -> string</B>
|
|
|
|
<P>
|
|
<P>
|
|
<P>
|
|
<P>
|
|
<I>val read_int </I>
|
|
|
|
:
|
|
<B>unit -> int</B>
|
|
|
|
<P>
|
|
<P>
|
|
<P>
|
|
<P>
|
|
<I>val read_int_opt </I>
|
|
|
|
:
|
|
<B>unit -> int option</B>
|
|
|
|
<P>
|
|
<P>
|
|
<P>
|
|
<P>
|
|
<I>val read_float </I>
|
|
|
|
:
|
|
<B>unit -> float</B>
|
|
|
|
<P>
|
|
<P>
|
|
<P>
|
|
<P>
|
|
<I>val read_float_opt </I>
|
|
|
|
:
|
|
<B>unit -> float option</B>
|
|
|
|
<P>
|
|
<P>
|
|
<P>
|
|
<I>type open_flag </I>
|
|
|
|
=
|
|
<B>open_flag</B>
|
|
|
|
=
|
|
<BR> | Open_rdonly
|
|
<BR> | Open_wronly
|
|
<BR> | Open_append
|
|
<BR> | Open_creat
|
|
<BR> | Open_trunc
|
|
<BR> | Open_excl
|
|
<BR> | Open_binary
|
|
<BR> | Open_text
|
|
<BR> | Open_nonblock
|
|
<BR>
|
|
<P>
|
|
<P>
|
|
<P>
|
|
<P>
|
|
<I>val open_out </I>
|
|
|
|
:
|
|
<B>string -> out_channel</B>
|
|
|
|
<P>
|
|
<P>
|
|
<P>
|
|
<P>
|
|
<I>val open_out_bin </I>
|
|
|
|
:
|
|
<B>string -> out_channel</B>
|
|
|
|
<P>
|
|
<P>
|
|
<P>
|
|
<P>
|
|
<I>val open_out_gen </I>
|
|
|
|
:
|
|
<B>open_flag list -> int -> string -> out_channel</B>
|
|
|
|
<P>
|
|
<P>
|
|
<P>
|
|
<P>
|
|
<I>val flush </I>
|
|
|
|
:
|
|
<B>out_channel -> unit</B>
|
|
|
|
<P>
|
|
<P>
|
|
<P>
|
|
<P>
|
|
<I>val flush_all </I>
|
|
|
|
:
|
|
<B>unit -> unit</B>
|
|
|
|
<P>
|
|
<P>
|
|
<P>
|
|
<P>
|
|
<I>val output_char </I>
|
|
|
|
:
|
|
<B>out_channel -> char -> unit</B>
|
|
|
|
<P>
|
|
<P>
|
|
<P>
|
|
<P>
|
|
<I>val output_string </I>
|
|
|
|
:
|
|
<B>out_channel -> string -> unit</B>
|
|
|
|
<P>
|
|
<P>
|
|
<P>
|
|
<P>
|
|
<I>val output_bytes </I>
|
|
|
|
:
|
|
<B>out_channel -> bytes -> unit</B>
|
|
|
|
<P>
|
|
<P>
|
|
<P>
|
|
<P>
|
|
<I>val output </I>
|
|
|
|
:
|
|
<B>out_channel -> bytes -> int -> int -> unit</B>
|
|
|
|
<P>
|
|
<P>
|
|
<P>
|
|
<P>
|
|
<I>val output_substring </I>
|
|
|
|
:
|
|
<B>out_channel -> string -> int -> int -> unit</B>
|
|
|
|
<P>
|
|
<P>
|
|
<P>
|
|
<P>
|
|
<I>val output_byte </I>
|
|
|
|
:
|
|
<B>out_channel -> int -> unit</B>
|
|
|
|
<P>
|
|
<P>
|
|
<P>
|
|
<P>
|
|
<I>val output_binary_int </I>
|
|
|
|
:
|
|
<B>out_channel -> int -> unit</B>
|
|
|
|
<P>
|
|
<P>
|
|
<P>
|
|
<P>
|
|
<I>val output_value </I>
|
|
|
|
:
|
|
<B>out_channel -> 'a -> unit</B>
|
|
|
|
<P>
|
|
<P>
|
|
<P>
|
|
<P>
|
|
<I>val seek_out </I>
|
|
|
|
:
|
|
<B>out_channel -> int -> unit</B>
|
|
|
|
<P>
|
|
<P>
|
|
<P>
|
|
<P>
|
|
<I>val pos_out </I>
|
|
|
|
:
|
|
<B>out_channel -> int</B>
|
|
|
|
<P>
|
|
<P>
|
|
<P>
|
|
<P>
|
|
<I>val out_channel_length </I>
|
|
|
|
:
|
|
<B>out_channel -> int</B>
|
|
|
|
<P>
|
|
<P>
|
|
<P>
|
|
<P>
|
|
<I>val close_out </I>
|
|
|
|
:
|
|
<B>out_channel -> unit</B>
|
|
|
|
<P>
|
|
<P>
|
|
<P>
|
|
<P>
|
|
<I>val close_out_noerr </I>
|
|
|
|
:
|
|
<B>out_channel -> unit</B>
|
|
|
|
<P>
|
|
<P>
|
|
<P>
|
|
<P>
|
|
<I>val set_binary_mode_out </I>
|
|
|
|
:
|
|
<B>out_channel -> bool -> unit</B>
|
|
|
|
<P>
|
|
<P>
|
|
<P>
|
|
<P>
|
|
<I>val open_in </I>
|
|
|
|
:
|
|
<B>string -> in_channel</B>
|
|
|
|
<P>
|
|
<P>
|
|
<P>
|
|
<P>
|
|
<I>val open_in_bin </I>
|
|
|
|
:
|
|
<B>string -> in_channel</B>
|
|
|
|
<P>
|
|
<P>
|
|
<P>
|
|
<P>
|
|
<I>val open_in_gen </I>
|
|
|
|
:
|
|
<B>open_flag list -> int -> string -> in_channel</B>
|
|
|
|
<P>
|
|
<P>
|
|
<P>
|
|
<P>
|
|
<I>val input_char </I>
|
|
|
|
:
|
|
<B>in_channel -> char</B>
|
|
|
|
<P>
|
|
<P>
|
|
<P>
|
|
<P>
|
|
<I>val input_line </I>
|
|
|
|
:
|
|
<B>in_channel -> string</B>
|
|
|
|
<P>
|
|
<P>
|
|
<P>
|
|
<P>
|
|
<I>val input </I>
|
|
|
|
:
|
|
<B>in_channel -> bytes -> int -> int -> int</B>
|
|
|
|
<P>
|
|
<P>
|
|
<P>
|
|
<P>
|
|
<I>val really_input </I>
|
|
|
|
:
|
|
<B>in_channel -> bytes -> int -> int -> unit</B>
|
|
|
|
<P>
|
|
<P>
|
|
<P>
|
|
<P>
|
|
<I>val really_input_string </I>
|
|
|
|
:
|
|
<B>in_channel -> int -> string</B>
|
|
|
|
<P>
|
|
<P>
|
|
<P>
|
|
<P>
|
|
<I>val input_byte </I>
|
|
|
|
:
|
|
<B>in_channel -> int</B>
|
|
|
|
<P>
|
|
<P>
|
|
<P>
|
|
<P>
|
|
<I>val input_binary_int </I>
|
|
|
|
:
|
|
<B>in_channel -> int</B>
|
|
|
|
<P>
|
|
<P>
|
|
<P>
|
|
<P>
|
|
<I>val input_value </I>
|
|
|
|
:
|
|
<B>in_channel -> 'a</B>
|
|
|
|
<P>
|
|
<P>
|
|
<P>
|
|
<P>
|
|
<I>val seek_in </I>
|
|
|
|
:
|
|
<B>in_channel -> int -> unit</B>
|
|
|
|
<P>
|
|
<P>
|
|
<P>
|
|
<P>
|
|
<I>val pos_in </I>
|
|
|
|
:
|
|
<B>in_channel -> int</B>
|
|
|
|
<P>
|
|
<P>
|
|
<P>
|
|
<P>
|
|
<I>val in_channel_length </I>
|
|
|
|
:
|
|
<B>in_channel -> int</B>
|
|
|
|
<P>
|
|
<P>
|
|
<P>
|
|
<P>
|
|
<I>val close_in </I>
|
|
|
|
:
|
|
<B>in_channel -> unit</B>
|
|
|
|
<P>
|
|
<P>
|
|
<P>
|
|
<P>
|
|
<I>val close_in_noerr </I>
|
|
|
|
:
|
|
<B>in_channel -> unit</B>
|
|
|
|
<P>
|
|
<P>
|
|
<P>
|
|
<P>
|
|
<I>val set_binary_mode_in </I>
|
|
|
|
:
|
|
<B>in_channel -> bool -> unit</B>
|
|
|
|
<P>
|
|
<P>
|
|
<P>
|
|
<I>module LargeFile : </I>
|
|
|
|
<B>(module LargeFile)</B>
|
|
|
|
<P>
|
|
<P>
|
|
<P>
|
|
<P>
|
|
<I>type </I>
|
|
|
|
<B>'a</B>
|
|
|
|
<I>ref </I>
|
|
|
|
=
|
|
<B>'a ref</B>
|
|
|
|
= {
|
|
<P>
|
|
<B>mutable </B>
|
|
|
|
contents :
|
|
<B>'a</B>
|
|
|
|
;
|
|
<BR> }
|
|
<P>
|
|
<P>
|
|
<P>
|
|
<P>
|
|
<P>
|
|
<I>val ref </I>
|
|
|
|
:
|
|
<B>'a -> 'a ref</B>
|
|
|
|
<P>
|
|
<P>
|
|
<P>
|
|
<P>
|
|
<I>val (!) </I>
|
|
|
|
:
|
|
<B>'a ref -> 'a</B>
|
|
|
|
<P>
|
|
<P>
|
|
<P>
|
|
<P>
|
|
<I>val (:=) </I>
|
|
|
|
:
|
|
<B>'a ref -> 'a -> unit</B>
|
|
|
|
<P>
|
|
<P>
|
|
<P>
|
|
<P>
|
|
<I>val incr </I>
|
|
|
|
:
|
|
<B>int ref -> unit</B>
|
|
|
|
<P>
|
|
<P>
|
|
<P>
|
|
<P>
|
|
<I>val decr </I>
|
|
|
|
:
|
|
<B>int ref -> unit</B>
|
|
|
|
<P>
|
|
<P>
|
|
<P>
|
|
<I>type </I>
|
|
|
|
<B>('a, 'b)</B>
|
|
|
|
<I>result </I>
|
|
|
|
=
|
|
<B>('a, 'b) result</B>
|
|
|
|
=
|
|
<BR> | Ok
|
|
<B>of </B>
|
|
|
|
<B>'a</B>
|
|
|
|
<BR> | Error
|
|
<B>of </B>
|
|
|
|
<B>'b</B>
|
|
|
|
<BR>
|
|
<P>
|
|
<P>
|
|
<P>
|
|
<I>type </I>
|
|
|
|
<B>('a, 'b, 'c, 'd, 'e, 'f)</B>
|
|
|
|
<I>format6 </I>
|
|
|
|
=
|
|
<B>('a, 'b, 'c, 'd, 'e, 'f) CamlinternalFormatBasics.format6</B>
|
|
|
|
<P>
|
|
<P>
|
|
<P>
|
|
<P>
|
|
<I>type </I>
|
|
|
|
<B>('a, 'b, 'c, 'd)</B>
|
|
|
|
<I>format4 </I>
|
|
|
|
=
|
|
<B>('a, 'b, 'c, 'c, 'c, 'd) format6</B>
|
|
|
|
<P>
|
|
<P>
|
|
<P>
|
|
<P>
|
|
<I>type </I>
|
|
|
|
<B>('a, 'b, 'c)</B>
|
|
|
|
<I>format </I>
|
|
|
|
=
|
|
<B>('a, 'b, 'c, 'c) format4</B>
|
|
|
|
<P>
|
|
<P>
|
|
<P>
|
|
<P>
|
|
<P>
|
|
<I>val string_of_format </I>
|
|
|
|
:
|
|
<B>('a, 'b, 'c, 'd, 'e, 'f) format6 -> string</B>
|
|
|
|
<P>
|
|
<P>
|
|
<P>
|
|
<P>
|
|
<I>val format_of_string </I>
|
|
|
|
:
|
|
<B>('a, 'b, 'c, 'd, 'e, 'f) format6 -></B>
|
|
|
|
<B>('a, 'b, 'c, 'd, 'e, 'f) format6</B>
|
|
|
|
<P>
|
|
<P>
|
|
<P>
|
|
<P>
|
|
<I>val (^^) </I>
|
|
|
|
:
|
|
<B>('a, 'b, 'c, 'd, 'e, 'f) format6 -></B>
|
|
|
|
<B>('f, 'b, 'c, 'e, 'g, 'h) format6 -></B>
|
|
|
|
<B>('a, 'b, 'c, 'd, 'g, 'h) format6</B>
|
|
|
|
<P>
|
|
<P>
|
|
<P>
|
|
<P>
|
|
<I>val exit </I>
|
|
|
|
:
|
|
<B>int -> 'a</B>
|
|
|
|
<P>
|
|
<P>
|
|
<P>
|
|
<P>
|
|
<I>val at_exit </I>
|
|
|
|
:
|
|
<B>(unit -> unit) -> unit</B>
|
|
|
|
<P>
|
|
<P>
|
|
<P>
|
|
<P>
|
|
<I>val valid_float_lexem </I>
|
|
|
|
:
|
|
<B>string -> string</B>
|
|
|
|
<P>
|
|
<P>
|
|
<P>
|
|
<P>
|
|
<I>val do_at_exit </I>
|
|
|
|
:
|
|
<B>unit -> unit</B>
|
|
|
|
<P>
|
|
<P>
|
|
<P>
|
|
<P>
|
|
|
|
<HR>
|
|
<A NAME="index"> </A><H2>Index</H2>
|
|
<DL>
|
|
<DT id="1"><A HREF="#lbAB">NAME</A><DD>
|
|
<DT id="2"><A HREF="#lbAC">Module</A><DD>
|
|
<DT id="3"><A HREF="#lbAD">Documentation</A><DD>
|
|
</DL>
|
|
<HR>
|
|
This document was created by
|
|
<A HREF="/cgi-bin/man/man2html">man2html</A>,
|
|
using the manual pages.<BR>
|
|
Time: 00:05:57 GMT, March 31, 2021
|
|
</BODY>
|
|
</HTML>
|