diff options
Diffstat (limited to 'stdlib/scanf.mli')
| -rw-r--r-- | stdlib/scanf.mli | 10 |
1 files changed, 10 insertions, 0 deletions
diff --git a/stdlib/scanf.mli b/stdlib/scanf.mli index a1b3d1acb..297d6f2d5 100644 --- a/stdlib/scanf.mli +++ b/stdlib/scanf.mli @@ -485,6 +485,16 @@ val kscanf : exception that aborted the scanning process as arguments. *) +val ksscanf : + string -> (Scanning.in_channel -> exn -> 'd) -> + ('a, 'b, 'c, 'd) scanner +(** Same as {!Scanf.kscanf} but reads from the given string. *) + +val kfscanf : + Pervasives.in_channel -> (Scanning.in_channel -> exn -> 'd) -> + ('a, 'b, 'c, 'd) scanner +(** Same as {!Scanf.kscanf}, but reads from the given regular input channel. *) + (** {6 Reading format strings from input} *) val bscanf_format : |