(assertion-keys [sub pred obj :as assertion])
(cluster-assertions assertions)
(disjoint-assertions? assertions)
(infer-subject-types-from-obj kb [s p o])
(infer-subject-types-from-pred kb [s p o])
(infer-sym-type kb sym assertion)
(infer-types sym assertions)
(infer-types kb sym assertions)
(matching-clusters clusters keys)
(most-specific-types kb types)
(most-specific-types kb types return-types)
(reify-assertions kb assertions)
(remove-parent-types kb child parents)
(remove-parent-types kb child parents return-set altered)
(seperate-parent-child-neither kb type types)
(seperate-parent-child-neither kb type types parent child neither)
(spec-of? child parent)
(spec-of? kb child parent)
(specific-type? kb child parent)
cljdoc is a website building & hosting documentation for Clojure/Script libraries
× close