Module AnyShtream


module AnyShtream: sig .. end
Functor to create type-aware shtream modules. The base shtream module Shtream is indifferent to the element type. The functor AnyShtream.Make, on the other hand, produces a module with shtream functions that know how read shtream from and write shtreams to channels without a user-supplied reader or printer function.

Modules LineShtream and StringShtream are both created using this functor, though some values in LineShtream are specialized further.


module type ELEM = sig .. end
The input signature of the functor AnyShtream.Make.
module type ANYSHTREAM = sig .. end
The output signature of the functor AnyShtream.Make.
module Make: 
functor (E : ELEM) -> ANYSHTREAM with module Elem = E
Build a new shtream module.