模块 aya.base
程序包 org.aya.tyck.unify
package org.aya.tyck.unify
-
类说明Bidirectional unification of terms, with abstract
TermComparator.solveMeta(org.aya.core.term.Term, org.aya.tyck.unify.TermComparator.Sub, org.aya.tyck.unify.TermComparator.Sub, org.aya.core.term.CallTerm.Hole).This class implements pattern unification with delayed constraints solving.