Logic utilities!
Logic utilities!
(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.
cljdoc is a website building & hosting documentation for Clojure/Script libraries
× close