sig val ( // ) : string -> string -> string val ( !+ ) : string -> string end