Liking cljdoc? Tell your friends :D

emmy.util.logic

Logic utilities!

Logic utilities!
raw docstring

*log-assumptions?*clj/s

If true, logs assumptions.

If true, logs assumptions.
sourceraw docstring

assume!clj/s

(assume! assumption context)
(assume! assumption context _if-false)

Log an assumption.

NOTE that if-false is not used right now. Currently this always returns true.

NOTE: what this WILL do is check if the assumption is correct, to the extent that this is possible, and fail if it's provably false.

Log an assumption.

NOTE that `if-false` is not used right now. Currently this always returns true.

NOTE: what this WILL do is check if the assumption is correct, to the extent
that this is possible, and fail if it's provably false.
sourceraw docstring

cljdoc is a website building & hosting documentation for Clojure/Script libraries

× close