verify-all-bound

added

ns
clojure.core.logic

type
function

(verify-all-bound a constrained)