hyperfiddle.rcf.unify — com.hyperfiddle/rcf 20220926-202227

&? clj/s

(&? form)

collection? clj/s

(collection? x)

explain clj/s

(explain env)

failed? clj/s

(failed? env)

ground clj/s

(ground env)

lvar? clj/s

(lvar? x)

replace-keys clj/s

(replace-keys m ks-map)

resolve* clj/s

(resolve* env k)

(resolve* path env k)

subst clj/s

(subst form env)

unifier clj/s

unifier* clj/s

(unifier* x y)

unify clj/s

(unify x y)

(unify x y env)

unify-in-env clj/s

(unify-in-env x y env)

unify-map clj/s

(unify-map xs ys env)

unify-set clj/s

(unify-set xs ys env)

wildcard-in-env clj/s

(wildcard-in-env v env)

wildcard? clj/s

(wildcard? x)