Module GenClone.IO

module IO: sig .. end

val with_in : ?mode:int ->
?flags:Pervasives.open_flag list -> string -> (char GenClone.t -> 'a) -> 'a
read filename f opens filename and calls f g, where g is a clonable generator of characters from the file. It can be cloned by calling g#save (which saves the position in the file), and used with g#next. Distinct clones of g shouldn't be used at the same time (otherwise Failure _ will be raised). Both the generator and save points are only valid within the scope in which f is called.