iostream.ml
iostream
1 2 3 4 5 6 7 8 9 (** I/O streams. This module defines generic I/O streams. They can be user-defined and can be composed from other streams. *) module In = In module In_buf = In_buf module Out = Out
1 2 3 4 5 6 7 8 9
(** I/O streams. This module defines generic I/O streams. They can be user-defined and can be composed from other streams. *) module In = In module In_buf = In_buf module Out = Out