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