object method to_channel : Pervasives.out_channel -> unit method to_file : string -> unit method to_string : string end