enforceable-constrained

added

ns
clojure.core.logic

type
function

(enforceable-constrained a)