diff options
| author | Nicolás Ojeda Bär <n.oje.bar@gmail.com> | 2022-06-10 18:28:08 +0200 |
|---|---|---|
| committer | GitHub <noreply@github.com> | 2022-06-10 18:28:08 +0200 |
| commit | 9ef03735ac472ea70bbc0c0bd1db784ef6201ba6 (patch) | |
| tree | 33eb9932830d29701e1518e114d31c3eaae403d0 /stdlib/out_channel.mli | |
| parent | f9ab3495e4fe97c535821bfb89b8679e55092eb5 (diff) | |
| download | ocaml-9ef03735ac472ea70bbc0c0bd1db784ef6201ba6.tar.gz | |
Add {In,Out}_channel.isatty (#11128)
Diffstat (limited to 'stdlib/out_channel.mli')
| -rw-r--r-- | stdlib/out_channel.mli | 6 |
1 files changed, 6 insertions, 0 deletions
diff --git a/stdlib/out_channel.mli b/stdlib/out_channel.mli index e371bd9d74..728bdf5cf2 100644 --- a/stdlib/out_channel.mli +++ b/stdlib/out_channel.mli @@ -158,3 +158,9 @@ val set_buffered : t -> bool -> unit val is_buffered : t -> bool (** [is_buffered oc] returns whether the channel [oc] is buffered (see {!set_buffered}). *) + +val isatty : t -> bool +(** [isatty oc] is [true] if [oc] refers to a terminal or console window, + [false] otherwise. + + @since 5.1.0 *) |