模块 org.aya
程序包 org.aya.core.pat
package org.aya.core.pat
-
类说明Pat.Preclause<T extends org.aya.util.distill.AyaDocile>It's 'pre' because there are also impossible clauses, which are removed after tycking.Matches a term with a pattern.The unification of patterns.