Module aya.base

Package org.aya.core.pat

package org.aya.core.pat

Related Packages

Package	Description
org.aya.core

Class	Description
Pat	Patterns in the core syntax.
Pat.Absurd
Pat.Bind
Pat.Ctor
Pat.Meta	Meta for Hole
Pat.Preclause<T extends AyaDocile>	It's 'pre' because there are also impossible clauses, which are removed after tycking.
Pat.ShapedInt
Pat.Tuple
PatMatcher	Matches a term with a pattern.
PatToTerm
PatUnify	The unification of patterns.