verify-all-bound
added
ns
clojure.core.logic
type
function
(verify-all-bound a constrained)