File tree Expand file tree Collapse file tree 2 files changed +5
-4
lines changed
Expand file tree Collapse file tree 2 files changed +5
-4
lines changed Original file line number Diff line number Diff line change 1212
1313open Notty
1414
15- (* * {1:fullscreen Fullscreen input and output}. *)
15+ (* * {1:fullscreen Fullscreen input and output} *)
1616
1717(* * Terminal IO with concurrency.
1818
Original file line number Diff line number Diff line change 99
1010open Notty
1111
12- (* * {1:fullscreen Fullscreen input and output}. *)
12+ (* * {1:fullscreen Fullscreen input and output} *)
1313
1414(* * Terminal IO abstraction for fullscreen, interactive applications.
1515
16- This module provides both input and output. It assumes exclusive ownership of
17- the IO streams between {{!create}initialization} and {{!release}shutdown}. *)
16+ This module provides both input and output. It assumes exclusive ownership
17+ of the IO streams between {{!Term.create}initialization} and
18+ {{!Term.release}shutdown}. *)
1819module Term : sig
1920
2021 type t
You can’t perform that action at this time.
0 commit comments