Skip to main content

Module logic_variable

mini_kanren::core

Module logic_variable 

Source

Structsยง

ReifiedVar
Reified logic variable.
Var
Named logic variable.