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