module AnyShtream:Functor to create type-aware shtream modules. The base shtream module
Shtreamis 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.
StringShtream are both created using
this functor, though some values in
LineShtream are specialized
module type ELEM =
module type ANYSHTREAM =