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