Вы можете обернуть свой предикат макросом is из clojure.test (defn string-to-string [s1] {:pre [(is (string? s1))] :post [(is (string?
確定! 回上一頁