Liking cljdoc? Tell your friends :D
All platforms.
sicmutils.util.logic
Logic utilities!
Logic utilities!
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.
cljdoc is a website building & hosting documentation for Clojure/Script libraries
× close