fm (s/def ::a int?) (s/def ::b int?) (fm/defn add [::a ::b] (+ a b)) fm provides syntax for specifying runtime invariants via clojure.spec