Ordinary defining contexts of a term, selected from its stored mentions.
Ordinary defining contexts of a term, selected from its stored mentions.
(defining-contexts kb term)The maximal ordinary defining contexts. Unclassified support throws :incomplete-defining-contexts; an empty set does not certify skeletal-only evidence.
The maximal ordinary defining contexts. Unclassified support throws :incomplete-defining-contexts; an empty set does not certify skeletal-only evidence.
(definition-evidence kb term)The ordinary contexts and whether nonempty stored defining evidence is skeletal-only. An absent assertion is not evidence of skeletal-only definition.
The ordinary contexts and whether nonempty stored defining evidence is skeletal-only. An absent assertion is not evidence of skeletal-only definition.
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 |