:pre and :post conditions as metadata on arglist, or map following arglist

conditions are predicate exprs in a vector
return value of fn is bound to % for :post
(defn foo [x y]
  {:pre [(even? x) (< x y)]
   :post [(> % 3)]}
  (* x y))
add *assert*, default true, when not true asserts are no-ops
*assert* is bound in repl

0 files changed, 0 insertions, 0 deletions