The two sentex records, as a held namespace (vaelii.impl.types.prover states what that
means). Every stored sentex is one of these, so a reload that redefined them would
leave a loaded KB's records unequal to every record built after it. Building,
canonicalizing and reading a sentex is vaelii.impl.sentex.
The two sentex records, as a held namespace (`vaelii.impl.types.prover` states what that means). Every stored sentex is one of these, so a reload that redefined them would leave a loaded KB's records unequal to every record built after it. Building, canonicalizing and reading a sentex is `vaelii.impl.sentex`.
(variable? x)A pattern variable is a symbol whose name starts with '?', plus the anonymous wildcard _. Variables act as wildcards during index lookup and as logic variables during unification.
A pattern variable is a symbol whose name starts with '?', plus the anonymous wildcard _. Variables act as wildcards during index lookup and as logic variables during unification.
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 |