1 2 3 4 5 6 7
use mini_kanren::prelude::*; use mini_kanren::run; fn main() { println!("Hello from an example!"); println!("{:?}", run!(1, (a, b), eq(a, b), eq(a, 1))); }