Module mini_kanren::testing

Functions

fails	Assert that a goal fails
has_unique_solution
succeeds	Assert that a goal succeeds at least once