我想写一个函数来分解一些常见的事实,像这样
(defn check-odd-and-positive
[n]
(fact (str n " not odd") n => odd?)
(fact (str n " not positive") n => positive?))
(facts "about the answer"
(check-odd-and-positive 42))
但这并没有导致“42 不奇怪”作为事实的描述。我知道使用表格事实可以实现类似的效果,但我希望能够在事实组之间分享这样的事实。