sig   val read_file : string -> int MyStream.t   val write_file : string -> int MyStream.t -> unit   val compare : string -> string -> bool end