ClojureDocs

Nav

Namespaces

Disequality constraint. Ensures that u and v will never
 unify. u and v can be complex terms.