Caml1999I037I 2Stdlib__In_channel!t;@@@A&Stdlib*in_channel@@@n@@@@.in_channel.mli\UU\Uh@@@@@@A@)open_flag;@@+Open_rdonly@@``@@$B@+Open_wronly@@aa@@-C@+Open_append@@"b #b @@6D@*Open_creat@@+cY[,cYg@@?E@*Open_trunc@@4d5d@@HF@)Open_excl@@=e>e@@QG@+Open_binary@@Ff(*Gf(7@@ZH@)Open_text@@OgikPgiv@@cI@-Open_nonblock@@XhYh@@lJ@@@Ae)open_flag@@@o@@@@c_ @@A@vA@A@%stdin{@@@p@okpk@@K@@(open_bin@&stringQ@@@q@@@r@@s@nJJnJd@@L@@)open_text@@@@t'@@@u@@v@rr @@M@@(open_gen@$listK@@@w@@@x@#intA@@@y@;@@@zN@@@{@@|@@}@@~@x  x  3@@N@@-with_open_bin@M@@@@@d@@@!a@@@@@@@@~ 3 3~ 3 `@@O@@.with_open_text@g@@@@@~@@@!a@@@@@@@@C  C  N@@P@@-with_open_gen@[Y@@@@@@@X@@@@@@@@@@@@!a@@@@@@@@@@@@G  G  @@.Q@@%close@@@@$unitF@@@@@@.K  /K  @@BR@@+close_noerr@@@@@@@@@@@PooAPo@@TS@@*input_char@@@@&optionL$charB@@@@@@@@@[U\U@@oT@@*input_byte@@@@@@@@@@@@@rYllsYl@@U@@*input_line@@@@2 @@@@@@@@@]];@@V@@3really_input_string@)@@@@@@@O'@@@@@@@@@@@ggM@@W@@)input_all@F@@@:@@@@@@oo@@X@@+input_lines@X@@@&P@@@@@@@@@uu@@Y@@%input@o@@@@%bytesC@@@@:@@@@@@@@D@@@@@@@@@@@@555`@@ Z@@.input_bigarray@@@@@(Bigarray&Array1!t@@(Bigarray1int8_unsigned_elt@@@"(Bigarray(c_layout@@@@@@@v@@@@|@@@@@@@@@@@@@@@1552@@E[@@,really_input@@@@@b@@@@@@@@@@@-@@@@@@@@@@@@@@@Z[3@@n\@@5really_input_bigarray@@@@@t(Bigarray&Array1!te@נ~(Bigarray1int8_unsigned_elt@@@֠(Bigarray(c_layout@@@@@@@@@@@@@@Cm@@@@@@@@@@@@@@@@@]@@*fold_lines@@#acc@@3@@@ @@@@@ @J@@@@@@@@@@1@@^@@$seek@X@@@@%int64O@@@@@@@@@@@^^^{@@_@@#pos@r@@@@@@@@@444H@@`@@&length@@@@*@@@@@@!!!!(@@ a@@/set_binary_mode@@@@@$boolE@@@@@@@@@@@""""@@$b@@.is_binary_mode@@@@@@@@@@"$$#$$@@6c@@&isatty@@@@*@@@@@@4%5%55%5%K@@Hd@@@bN2Stdlib__In_channel0#W'&e/Stdlib__Complex0r ƻڷn.̠0Stdlib__Bigarray0@A@&stringQ;@@ A@@@@@B@@@%bytesC;@@ A@@@@@F@@@%floatD;@@A@@@@@J@@@$boolE;@@%falsec@@T@$trued@@Z@@@A@@@@@[@A@$unitF;@@"()e@@e@@@A@@@@@f@A@ #exnG;@@@A@@@@@j@@@#effH;@@O@A@A@@@@@@s@@@,continuationI;@@Q@@P@B@A@nY@@@@@@@@@%arrayJ;@@R@A@A@@@@@@@@@ $listK;@@S@A"[]f@@@"::g@@@T@@@ @@A@Y@@@@@@@@&optionL;@@V@A$Noneh@@@$Somei@@@@@A@Y@@@@@@@@)nativeintM;@@A@@@@@@@@%int32N;@@A@@@@@@@@%int64O;@@A@@@@@@@@&lazy_tP;@@X@AJA@Y@@@@@@@@5extension_constructorR;@@A@@@@@@@@*floatarrayS;@@A@@@@@@@@&iarrayT;@@Y@A[A@Y@@@@@@@@*atomic_locU;@@Z@AdA@@@@@@@@@.Assert_failure`#@@@@@J@@@@@@@@[@@A=ocaml.warn_on_literal_pattern @ @0Division_by_zero]#@@@A  @+End_of_file\#$@@@A@'FailureY#,@'@@A!$$@0Invalid_argumentX#5@0@@A*$-#-@-Match_failureV#>@@=@9@;@@a@@A;5>4>@)Not_foundZ#O@@@AC=F<F@-Out_of_memoryW#W@@@AKENDN@.Stack_overflow^#_@@@ASMVLV@.Sys_blocked_io_#g@@@A[U^T^@)Sys_error[#o@j@@Ad^g]g@:Undefined_recursive_modulea#x@@w@s@u@@h@@Auoxnx@:Continuation_already_takenb#@@@A}wv@&Stdlib@Ax7 {1:channels Channels} Z77Z7S@@@@@@A+!tA\UZ\U[@@;@@@A%*in_channel@@@@@@@\UU\Uh@)ocaml.doc< The type of input channel. ]ii]i@@@@@@@@@@@@@Aг\U^@@ 3@+;@@@A3@@@@@@@@&#@@@A %@@'$Ґ#"@""@@@"@"@@ʰ21@A+)open_flagB__@@;@@+Open_rdonly@@``@E3 open for reading. ``@@@@@@@B@+Open_wronly@@aa@\3 open for writing. aa @@@@@@@C@+Open_append@@b b @s 2 open for appending: always write at end of file. b !b X@@@@@@@6D@*Open_creat@@&cY['cYg@ ' create the file if it does not exist. 4cYn5cY@@@@@@@ME@*Open_trunc@@=d>d@ & empty the file if it already exists. KdLd@@@@@@@dF@)Open_excl@@TeUe@ 1 fail if Open_creat and the file already exists. bece'@@@@@@@{G@+Open_binary@@kf(*lf(7@ϐ & open in binary mode (no conversion). yf(=zf(h@@@@@@@H@)Open_text@@gikgiv@搠 . open in text mode (may perform conversions). gi~gi@@@@@@@I@-Open_nonblock@@hh@< open in non-blocking mode. hh@@@@@@@J@@@A:)open_flag@@@@@@@_@ Opening modes for {!open_gen}. ii@@@@@@@A@A@@#`@@@@頰+ِ@@@@@@#a@@@@㠰<ꐠ@@@@@@#ܠܰb @@@@ݠM@@@@@@#ְ֠cY]@@@@נ^ @@@@@@#Ра d@@@@Ѡo@@@@@@#ʠʰe@@@@ˠ.@@@@@@#Ġİ-f(,@@@@Š?@@@@@@#>gim@@@@P@@@@@@#Oh@@@@a@@@@@@@Aг&Stdlibe_f_@i_j_@@@3ihhiiiii@i;@@@A@@@@@@@@@@@A@@Ƞ@@@@@@@3@@A@%stdinkk@г!tkk@@ @@@3@0@A@@@k @ % The standard input for the process. llH@@@@@@@K@@@@@@@@@!(open_binnJNnJV@б@г&stringnJYnJ_@@ @@@3@:M8@A@@гN!tnJcnJd@@ @@@@@@@@@@@nJJ @M | Open the named file for reading, and return a new input channel on that file, positioned at the beginning of the file. oeep@@@@@@@L@@@] @@@@@@1)open_textrr@б@г㠐&stringrr@@ @@@3@J_8@A@@г!t(r )r @@ @@@@@@@@@@@3r @ Same as {!open_bin}, but the file is opened in text mode, so that newline translation takes place during reads. On operating systems that do not distinguish between text mode and binary mode, this function behaves like {!open_bin}. @s  Av  @@@@@@@YM@@@T@@@@@@1(open_gen Wx  Xx  @б@гޠ$listbx  cx  @г)open_flaglx  mx  @@ @@@3nmmnnnnn@TiB@A@@@ @@@ @@б@гU#intx  !x  $@@ @@@@@б@г[&stringx  (x  .@@ @@@%@@г !tx  2x  3@@ @@@2@@@@@5@@@%@@8( @@@8@@;A@@@x  @ [open_gen mode perm filename] opens the named file for reading, as described above. The extra arguments [mode] and [perm] specify the opening mode and file permissions. {!open_text} and {!open_bin} are special cases of this function. y 4 4| ! 1@@@@@@@N@@!@"А@@@@@@Z-with_open_bin!~ 3 7~ 3 D@б@г&string~ 3 G~ 3 M@@ @@@3@s8@A@@б@б@г`!t~ 3 R~ 3 S@@ @@@@@А!a@C@~ 3 W~ 3 Y@@@ @@!@@А!a% ~ 3 ^ ~ 3 `@@@ @@*~ 3 Q@@@1@@.4@@@~ 3 3 @w [with_open_bin fn f] opens a channel [ic] on file [fn] and returns [f ic]. After [f] returns, either with a value or by raising an exception, [ic] is guaranteed to be closed. ! a a"A  @@@@@@@:O@@@5@@@@@@M.with_open_text"8C  $9C  2@б@г &stringCC  5DC  ;@@ @@@3EDDEEEEE@f{8@A@@б@б@гŠ!tVC  @WC  A@@ @@@@@А!a@C@eC  EfC  G@@@ @@!@@А!a%nC  LoC  N@@@ @@*sC  ?@@@1@@.4@@@yC   @ܐ W Like {!with_open_bin}, but the channel is opened in text mode (see {!open_text}). D O OE  @@@@@@@P@@@@@@@@@M-with_open_gen#G  G  @б@г$$listG  G  @г۠)open_flagG  G  @@ @@@3@pB@A@@@ @@@ @@б@г#intG  G  @@ @@@@@б@г&stringG  G  @@ @@@%@@б@б@гW!tG  G  @@ @@@6@@А!a@C@?G  G  @@@ @@D@@А!aHG  G  @@@ @@MG  @@@/@@Q2@@@A@@TD @@@T@@W]@@@G  @t Like {!with_open_bin}, but can specify the opening mode and file permission, in case the file must be created (see {!open_gen}). H  I E @@@@@@@7Q@@!@2@@@@@@v%close$5K  6K  @б@г!t@K  AK  @@ @@@3BAABBBBB@8@A@@г$unitOK  PK  @@ @@@@@@@@@@@ZK   @ Close the given channel. Input functions raise a [Sys_error] exception when they are applied to a closed input channel, except {!close}, which does nothing when applied to an already closed channel. gL  hN4m@@@@@@@R@@@{@@@@@@1+close_noerr%~PosPo~@б@г!tPoPo@@ @@@3@J_8@A@@гE$unitPoPo@@ @@@@@@@@@@@Poo @ * Same as {!close}, but ignore all errors. QQ@@@@@@@S@@@Đ@@@@@@1ѐ1 {1:input Input} SS@@@@@@3@CX1@A*input_char&UU@б@гT!tUU@@ @@@@@гQ&optionUU@гʠ$charUU@@ @@@1@@@@@@6 @@@"@@9%@@@ U@o o Read one character from the given input channel. Returns [None] if there are no more characters to read. VWDj@@@@@@@2T@@*@-@@@@@@X*input_byte'0Ylp1Ylz@б@г!t;Yl}<Yl~@@ @@@3=<<=====@ql8@A@@г&optionJYlKYl@г'#intTYlUYl@@ @@@@@@@@@ @@@$@@!'@@@dYll@ǐ Same as {!input_char}, but return the 8-bit integer representing the character. Returns [None] if the end of file was reached. qZr[@@@@@@@U@@*@@@@@@@@*input_line(]]&@б@г!t])]*@@ @@@3@Yn8@A@@г&option]5];@гv&string].]4@@ @@@@@@@@@ @@@$@@!'@@@]@  [input_line ic] reads characters from [ic] until a newline or the end of file is reached. Returns the string of all characters read, without the newline (if any). Returns [None] if the end of the file has been reached. In particular, this will be the case if the last line of input is empty. A newline is the character [\n] unless the file is open in text mode and {!Sys.win32} is [true] in which case it is the sequence of characters [\r\n]. ^<<e @@@@@@@V@@*@/ݐ@@@@@@@3really_input_string)gg1@б@гZ!tg4g5@@ @@@3@Yn8@A@@б@гϠ#intg9g<@@ @@@@@гh&option gG gM@гݠ&stringg@gF@@ @@@(@@@@@@- @@@"@@0%@@@6@@39@@@&g@ e [really_input_string ic len] reads [len] characters from channel [ic] and returns them in a new string. Returns [None] if the end of file is reached before [len] characters have been read. If the same channel is read concurrently by multiple threads, the returned string is not guaranteed to contain contiguous characters from the input. 3hNN4mh@@@@@@@LW@@-@G@@@@@@R)input_all*JoKo@б@гĠ!tUoVo@@ @@@3WVVWWWWW@k8@A@@г.&stringdoeo@@ @@@@@@@@@@@oo @Ґ [input_all ic] reads all remaining data from [ic]. If the same channel is read concurrently by multiple threads, the returned string is not guaranteed to contain contiguous characters from the input. |p}s]@@@@@@@X@@@@@@@@@1+input_lines+uu@б@г !tuu@@ @@@3@J_8@A@@г)$listuu@г&stringuu@@ @@@@@@@@@  @@@$@@ !'@@@u@* 3 [input_lines ic] reads lines using {!input_line} until the end of file is reached. It returns the list of all lines read, in the order they were read. The newline characters that terminate lines are not included in the returned strings. Empty lines produce empty strings. @since 5.1 v| @@@@@@@Y@@*@:萠@@@@@@@ " {1:advanced_input Advanced input}~  ~ 3@@@@@@3@Rg1@A%input,595>@б@гx!t 5A 5B@@ @@@ @@б@гޠ%bytes 5F 5K@@ @@@ )@@б@г#int '5O (5R@@ @@@ 8@@б@г #int 65V 75Y@@ @@@G@@г #int C5] D5`@@ @@@T@@@@@W@@@%@@Z( @@@7@@]:@@@I@@`L@@@ W55@  [input ic buf pos len] reads up to [len] characters from the given channel [ic], storing them in byte sequence [buf], starting at character number [pos]. It returns the actual number of characters read, between 0 and [len] (inclusive). A return value of 0 means that the end of file was reached. Use {!really_input} to read exactly [len] characters. @raise Invalid_argument if [pos] and [len] do not designate a valid range of [buf].  daa e&3@@@@@@@ }Z@@$@ x@@@@@@.input_bigarray {59 |5G@б@г!t JL JM@@ @@@3        @8@A@@б@г!(Bigarray&Array1!t  J J@  J J@@ J J@ @@@@ $ JR JS@@гC(Bigarray1int8_unsigned_elt JU J]@  J^ Jo@@@@@@ = @@гZ(Bigarray(c_layout Jq Jy@  Jz J@@@@@@ T @@@P6 @@@ [ JQ?@@б@г Ġ#int  @@ @@@ k@@б@г Ӡ#int  @@ @@@ z@@г ࠐ#int  @@ @@@ @@@@@ @@@%@@ ( @@@;@@ 5@@@@@ @@@ !55@ E Same as {!input}, but read the data into a bigarray. @since 5.2  . /@@@@@@@ G[@@$@ B@@@@@@,really_input E F @б@г!t P  Q @@ @@@ 3 R Q Q R R R R R@8@A@@б@г '%bytes a b@@ @@@ @@б@г C#int p q@@ @@@  @@б@г R#int ! $@@ @@@ /@@г 렐&option - 3@г C$unit ( ,@@ @@@ F@@@@@@ K @@@"@@ N%@@@4@@ Q7@@@F@@ TI@@@Z@@ W] @@@ #@   [really_input ic buf pos len] reads [len] characters from channel [ic], storing them in byte sequence [buf], starting at character number [pos]. Returns [None] if the end of file is reached before [len] characters have been read. If the same channel is read concurrently by multiple threads, the bytes read by [really_input] are not guaranteed to be contiguous. @raise Invalid_argument if [pos] and [len] do not designate a valid range of [buf].  44  @@@@@@@ \@@3@ " А@@@@@@v5really_input_bigarray  2@б@г M!t 57 58@@ @@@ 3        @8@A@@б@г y(Bigarray&Array1!t  5o 5w@  5x 5~@@ 5 5@ @@@@ $ 5= 5>@@г (Bigarray1int8_unsigned_elt 5@ 5H@  5I 5Z@@@@@@ = @@г (Bigarray(c_layout -5\ .5d@  15e 25m@@@@@@ T @@@P6 @@@ [ ?5<?@@б@г #int I J@@ @@@ k@@б@г +#int X Y@@ @@@ !z@@г Ġ&option e f@г $unit o p@@ @@@ "@@@@@@ $ @@@"@@ %%@@@4@@ &7@@@J@@ 'D@@@@@ ( @@@ #@ 될 L Same as {!really_input}, but read the data into a bigarray. @since 5.2   @@@@@@@ ]@@3@  @@@@@@*fold_lines  @б@б@А#acc@ 2C@ )3        @6@A   @@б@г &string   @@ @@@ *@@А#acc  @@@ !@@ +@@@$@@ ,@@б@А#acc*%   $@@б@г Z!t ( )@@ @@@ -6@@А#acc?: - 1@@@ D@@ .?@@@G@@ /B@@@(@@ 0E  @@@ @ f  [fold_lines f init ic] reads lines from [ic] using {!input_line} until the end of file is reached, and successively passes each line to function [f] in the style of a fold. More precisely, if lines [l1, ..., lN] are read, [fold_lines f init ic] computes [f (... (f (f init l1) l2) ...) lN]. If [f] has no side effects, this is equivalent to [List.fold_left f init (In_channel.input_lines ic)], but is more efficient since it does not construct the list of all lines read. @since 5.1  22 /@@@@@@@@ )^@@@ v $@@@@@@e 2 15 {1:seeking Seeking}  .BB /B\@@@@@@3 - , , - - - - -@w1@A$seek :^b ;^f@б@г !t E^i F^j@@ @@@ 3@@б@г %int64 T^n U^s@@ @@@ 4)@@г $unit a^w b^{@@ @@@ 56@@@@@ 69@@@%@@ 7<( @@@ o^^@ Ґ [seek chan pos] sets the current reading position to [pos] for channel [chan]. This works only for regular files. On files of other kinds, the behavior is unspecified.  ||| }2@@@@@@@ _@@@  @@@@@@[#pos 48 4;@б@г !t 4> 4?@@ @@@ 83        @to8@A@@г %int64 4C 4H@@ @@@ 9@@@@@ :@@@ 44 @   Return the current reading position for the given channel. For files opened in text mode under Windows, the returned position is approximate (owing to end-of-line conversion); in particular, saving the current position with {!pos}, then going back to this position using {!seek} will not work. For this programming idiom to work reliably and portably, the file must be opened in binary mode.  II   @@@@@@@ `@@@ + ِ@@@@@@1  搠; {1:attributes Attributes}      !@@@@@@3        @CX1@A&length !! !!@б@г i!t !! !!@@ @@@ ;@@г G%int64 !!# !!(@@ @@@ <'@@@@@ =*@@@ !! @ u _ Return the size (number of characters) of the regular file on which the given channel is opened. If the channel is opened on a file that is not a regular file, the result is meaningless. The returned size does not take into account the end-of-line translations that can be performed when reading from a channel opened in text mode.  !)!) "c"@@@@@@@ 8a@@@  3@@@@@@I/set_binary_mode 6"" 7""@б@г !t A"" B""@@ @@@ >3 C B B C C C C C@b]8@A@@б@г $bool R"" S""@@ @@@ ?@@г $unit _"" `""@@ @@@ @@@@@@ A!@@@'@@ B$* @@@ m""@ А  [set_binary_mode ic true] sets the channel [ic] to binary mode: no translations take place during input. [set_binary_mode ic false] sets the channel [ic] to text mode: depending on the operating system, some translations may take place during input. For instance, under Windows, end-of-lines will be translated from [\r\n] to [\n]. This function has no effect under operating systems that do not distinguish between text mode and binary mode.  z"" {$n$@@@@@@@ b@@@  @@@@@@C.is_binary_mode $$ $$@б@г !t $$ $$@@ @@@ C3        @\q8@A@@г i$bool $$ $$@@ @@@ D@@@@@ E@@@ $$ @  v [is_binary_mode ic] returns whether the channel [ic] is in binary mode (see {!set_binary_mode}). @since 5.2  $$ %"%3@@@@@@@ c@@@ ) א@@@@@@1&isatty %5%9 %5%?@б@г T!t %5%B %5%C@@ @@@ F3        @J_8@A@@г $bool %5%G %5%K@@ @@@ G@@@@@ H@@@ %5%5 @ b n [isatty ic] is [true] if [ic] refers to a terminal or console window, [false] otherwise. @since 5.1  %L%L %%@@@@@@@%d@@@ r @@@@@@1.-  {1:examples Examples} Reading the contents of a file: {[ let read_file file = In_channel.with_open_bin file In_channel.input_all ]} Reading a line from stdin: {[ let user_input () = In_channel.input_line In_channel.stdin ]} *%%+&&@@@@@@3)(()))))@CX1@A@  A@ _ YA@  @ u N@ . @  @ m *@ @1@@@p<@@@p(@@@X@5@@@Y@&@@uP@0@@i@@3cbbccccc@:@A@ H************************************************************************kA@@lA@L@ H qBMMrBM@ H OCaml wCxC@ H }D~D3@ H Xavier Leroy, projet Cristal, INRIA Rocquencourt E44E4@ H FF@ H Copyright 2021 Institut National de Recherche en Informatique et GG@ H en Automatique. HHg@ H IhhIh@ H All rights reserved. This file is distributed under the terms of JJ@ H the GNU Lesser General Public License version 2.1, with the KKN@ H special exception on linking described in the file LICENSE. LOOLO@ H MM@ H************************************************************************NN5@ * Input channels. This module provides functions for working with input channels. For example, you can use this module to read files or get user input from the terminal. See {{!examples} the example section} below. @since 4.14 8* {1:channels Channels}  <=* The type of input channel.  4* open for reading.  ٠4* open for writing.  Š 3* open for appending: always write at end of file.  (* create the file if it does not exist.  '* empty the file if it already exists.  2* fail if Open_creat and the file already exists.  u '* open in binary mode (no conversion).  a /* open in text mode (may perform conversions).  M=* open in non-blocking mode.  9 !* Opening modes for {!open_gen}.  $ &* The standard input for the process.  8 }* Open the named file for reading, and return a new input channel on that file, positioned at the beginning of the file.  * Same as {!open_bin}, but the file is opened in text mode, so that newline translation takes place during reads. On operating systems that do not distinguish between text mode and binary mode, this function behaves like {!open_bin}.  * [open_gen mode perm filename] opens the named file for reading, as described above. The extra arguments [mode] and [perm] specify the opening mode and file permissions. {!open_text} and {!open_bin} are special cases of this function.  3 * [with_open_bin fn f] opens a channel [ic] on file [fn] and returns [f ic]. After [f] returns, either with a value or by raising an exception, [ic] is guaranteed to be closed.  Ѡ X* Like {!with_open_bin}, but the channel is opened in text mode (see {!open_text}).  o * Like {!with_open_bin}, but can specify the opening mode and file permission, in case the file must be created (see {!open_gen}). ڠ * Close the given channel. Input functions raise a [Sys_error] exception when they are applied to a closed input channel, except {!close}, which does nothing when applied to an already closed channel.  +* Same as {!close}, but ignore all errors. N2* {1:input Input} 3 p* Read one character from the given input channel. Returns [None] if there are no more characters to read. 렠 * Same as {!input_char}, but return the 8-bit integer representing the character. Returns [None] if the end of file was reached.  * [input_line ic] reads characters from [ic] until a newline or the end of file is reached. Returns the string of all characters read, without the newline (if any). Returns [None] if the end of the file has been reached. In particular, this will be the case if the last line of input is empty. A newline is the character [\n] unless the file is open in text mode and {!Sys.win32} is [true] in which case it is the sequence of characters [\r\n]. A f* [really_input_string ic len] reads [len] characters from channel [ic] and returns them in a new string. Returns [None] if the end of file is reached before [len] characters have been read. If the same channel is read concurrently by multiple threads, the returned string is not guaranteed to contain contiguous characters from the input. ڠ * [input_all ic] reads all remaining data from [ic]. If the same channel is read concurrently by multiple threads, the returned string is not guaranteed to contain contiguous characters from the input.  4* [input_lines ic] reads lines using {!input_line} until the end of file is reached. It returns the list of all lines read, in the order they were read. The newline characters that terminate lines are not included in the returned strings. Empty lines produce empty strings. @since 5.1 ? #* {1:advanced_input Advanced input}$ * [input ic buf pos len] reads up to [len] characters from the given channel [ic], storing them in byte sequence [buf], starting at character number [pos]. It returns the actual number of characters read, between 0 and [len] (inclusive). A return value of 0 means that the end of file was reached. Use {!really_input} to read exactly [len] characters. @raise Invalid_argument if [pos] and [len] do not designate a valid range of [buf].  F* Same as {!input}, but read the data into a bigarray. @since 5.2  * [really_input ic buf pos len] reads [len] characters from channel [ic], storing them in byte sequence [buf], starting at character number [pos]. Returns [None] if the end of file is reached before [len] characters have been read. If the same channel is read concurrently by multiple threads, the bytes read by [really_input] are not guaranteed to be contiguous. @raise Invalid_argument if [pos] and [len] do not designate a valid range of [buf]. c M* Same as {!really_input}, but read the data into a bigarray. @since 5.2   * [fold_lines f init ic] reads lines from [ic] using {!input_line} until the end of file is reached, and successively passes each line to function [f] in the style of a fold. More precisely, if lines [l1, ..., lN] are read, [fold_lines f init ic] computes [f (... (f (f init l1) l2) ...) lN]. If [f] has no side effects, this is equivalent to [List.fold_left f init (In_channel.input_lines ic)], but is more efficient since it does not construct the list of all lines read. @since 5.1 6* {1:seeking Seeking}  * [seek chan pos] sets the current reading position to [pos] for channel [chan]. This works only for regular files. On files of other kinds, the behavior is unspecified.  * Return the current reading position for the given channel. For files opened in text mode under Windows, the returned position is approximate (owing to end-of-line conversion); in particular, saving the current position with {!pos}, then going back to this position using {!seek} will not work. For this programming idiom to work reliably and portably, the file must be opened in binary mode. i<* {1:attributes Attributes} N `* Return the size (number of characters) of the regular file on which the given channel is opened. If the channel is opened on a file that is not a regular file, the result is meaningless. The returned size does not take into account the end-of-line translations that can be performed when reading from a channel opened in text mode.  * [set_binary_mode ic true] sets the channel [ic] to binary mode: no translations take place during input. [set_binary_mode ic false] sets the channel [ic] to text mode: depending on the operating system, some translations may take place during input. For instance, under Windows, end-of-lines will be translated from [\r\n] to [\n]. This function has no effect under operating systems that do not distinguish between text mode and binary mode.  w* [is_binary_mode ic] returns whether the channel [ic] is in binary mode (see {!set_binary_mode}). @since 5.2 w o* [isatty ic] is [true] if [ic] refers to a terminal or console window, [false] otherwise. @since 5.1 1 * {1:examples Examples} Reading the contents of a file: {[ let read_file file = In_channel.with_open_bin file In_channel.input_all ]} Reading a line from stdin: {[ let user_input () = In_channel.input_line In_channel.stdin ]} @?)../ocamlc0-strict-sequence(-absname"-w5+a-4-9-41-42-44-45-48"-g+-warn-error"+A*-bin-annot)-nostdlib*-principal"-o6stdlib__In_channel.cmi"-cMN D/builds/workspace/precheck/flambda/false/label/ocaml-linux-32/stdlib @@0Z_4΅S ƥ3RQQRRRRR@P@@8CamlinternalFormatBasics0%FU(Q/Tu&Stdlib0Lku]8_٠0Stdlib__Bigarray0@@ l @ + w@a Q   @@v@  g@f %@@  @ V @ސ@    @@@/i 4 @  @ J   @@Q@7@ 0@@@P@@