模块 aya.base
程序包 org.aya.core.pat
package org.aya.core.pat
-
类说明Pat.Preclause<T extends AyaDocile>It's 'pre' because there are also impossible clauses, which are removed after tycking.TODO[literal]: literal type needs meta-solving for first-class patterns.Matches a term with a pattern.The unification of patterns.