ClojureDocs

Nav

Namespaces

distinct

  • (distinct v*)
A finite domain constraint that will guarantee that 
 all vars that occur in v* will be unified with unique 
 values. v* need not be ground. Any vars in v* should
 eventually be given a domain.