(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 builds & hosts documentation for Clojure/Script libraries
| Ctrl+k | Jump to recent docs |
| ← | Move to previous article |
| → | Move to next article |
| Ctrl+/ | Jump to the search field |