(-main & args)
(complete-initial-state initial-state ground-predicates)
cljdoc is a website building & hosting documentation for Clojure/Script libraries