sig
type 'a gen = unit -> 'a option
type 'a t = < clone : 'a GenClone.t; gen : 'a GenClone.gen >
type 'a clonable = 'a GenClone.t
type 'a prependable =
< clone : 'a GenClone.prependable; gen : 'a GenClone.gen;
prepend : 'a -> unit >
val to_prependable : 'a GenClone.t -> 'a GenClone.prependable
val map : ('a -> 'b) -> 'a GenClone.t -> 'b GenClone.t
module IO :
sig
val with_in :
?mode:int ->
?flags:Pervasives.open_flag list ->
string -> (char GenClone.t -> 'a) -> 'a
end
end