ClojureDocs

Nav

Namespaces

A finite domain constraint. u and v must be equal. u and v must
 eventually be given domains if vars.