sig val trim_left : string -> string val trim_right : string -> string val trim : string -> string val read_lines : string -> string list val write_lines : string -> string list -> unit end