core.typed "0.2.84"] clj::clojure.core.typed.test.logic.macros

Symbols

-	-inc
=	==
A	all
B	bind*
C	conda conde condu
D	defna defne defnm defnu
F	fresh
I	ifaifuis
L	lazy-run lazy-run*llist log lvaro
M	matcha matche matchu mplus*
N	nonlvaro
P	pred project
R	run runrun-nc run-nc
S	solve
T	trace-lvars trace-s

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