ClojureDocs

Nav

Namespaces

fix-constraints

  • (fix-constraints a)
A goal to run the constraints in cq until it is empty. Of
 course running a constraint may grow cq so this function
 finds the fixpoint.