chickadee » mini-kanren » booleano

booleano bprocedure

Predicate goal that succeeds if-and-only-if b can be unified with a boolean. When b is fresh, this guarantees that b can only be unified with #t or #f.