<

added

ns
clojure.core.logic.fd

type
function

(< u v)

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