summaryrefslogtreecommitdiffstats
path: root/stdlib/buffer.mli
diff options
context:
space:
mode:
authorJacques Garrigue <garrigue at math.nagoya-u.ac.jp>1999-11-30 16:07:38 +0000
committerJacques Garrigue <garrigue at math.nagoya-u.ac.jp>1999-11-30 16:07:38 +0000
commit296fc0547052da47bf0e983cab1ce173fa1e8882 (patch)
tree27f621f1e06d4f6493c88993969c4638861390d7 /stdlib/buffer.mli
parentca0b21c5adbe660a52e5a9dfe1dda16985fe5f7c (diff)
Merge olabl branch
git-svn-id: http://caml.inria.fr/svn/ocaml/trunk@2651 f963ae5c-01c2-4b8c-9fe0-0dff7051ff02
Diffstat (limited to 'stdlib/buffer.mli')
-rw-r--r--stdlib/buffer.mli6
1 files changed, 3 insertions, 3 deletions
diff --git a/stdlib/buffer.mli b/stdlib/buffer.mli
index 5b8499502..8d205cca8 100644
--- a/stdlib/buffer.mli
+++ b/stdlib/buffer.mli
@@ -52,17 +52,17 @@ val add_char : t -> char -> unit
val add_string : t -> string -> unit
(* [add_string b s] appends the string [s] at the end of
the buffer [b]. *)
-val add_substring : t -> string -> int -> int -> unit
+val add_substring : t -> string -> pos:int -> len:int -> unit
(* [add_substring b s ofs len] takes [len] characters from offset
[ofs] in string [s] and appends them at the end of the buffer [b]. *)
val add_buffer : t -> t -> unit
(* [add_buffer b1 b2] appends the current contents of buffer [b2]
at the end of buffer [b1]. [b2] is not modified. *)
-val add_channel : t -> in_channel -> int -> unit
+val add_channel : t -> in_channel -> len:int -> unit
(* [add_channel b ic n] reads exactly [n] character from the
input channel [ic] and stores them at the end of buffer [b].
Raise [End_of_file] if the channel contains fewer than [n]
characters. *)
-val output_buffer : out_channel -> t -> unit
+val output_buffer : to:out_channel -> t -> unit
(* [output_buffer oc b] writes the current contents of buffer [b]
on the output channel [oc]. *)