Artifacts
Artifact store
Clojure 1.9.0
Clojure 1.8.0
Clojure 1.7.0
Clojure 1.6.0
Clojure 1.5.0
Clojure 1.4.0
About
API
About
Contributing
Bits and Bats
Heatmap
Worklist
Me
Github Repo
About Me
Support This Project
Currently v
© 2015. All rights reserved.
Grimoire - Community Clojure Documentation
store
/[
org.clojure
/
core.typed
"0.2.84"
]
clj
::
clojure.core.typed.test.logic.macros
Symbols
Macros
-
-inc
=
==
A
all
B
bind*
C
conda
conde
condu
D
defna
defne
defnm
defnu
F
fresh
I
ifa*
ifu*
is
L
lazy-run
lazy-run*
llist
log
lvaro
M
matcha
matche
matchu
mplus*
N
nonlvaro
P
pred
project
R
run
run*
run-nc
run-nc*
S
solve
T
trace-lvars
trace-s
Functions
A
all-blank?
B
bind-conde-clause
bind-conde-clauses
C
cond-clauses
E
env-locals
ex
ex*
extract-vars
F
fresh-expr?
H
handle-clause
handle-clauses
L
lcons-p?
lvar-bind
lvar-binds
lvar-sym?
N
name-with-attributes
P
p->llist
project-binding
project-bindings
T
trace-lvar
W
warn
Vars
*
*locals*