ClojureDocs

导航

名称空间

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