[−][src]Crate mini_kanren

Macros

conda
conde
condu
conj
defrel
disj
fresh
run

Structs

StreamIter
Substitution
Var

Enums

Stream
Value

Traits

Atomic
Structure

Functions

alwayso
call_with_fresh_var
conj2
disj2
eq
fail
ifte
nevero
once
reify
run_goal
succeed

Type Definitions