Module aya.base
Package org.aya.tyck.pat
package org.aya.tyck.pat
-
ClassDescriptionWe eat bindings, now there are only holes.This is XTT-specific confluence check, very simple: we check for all combinations.Tyck for
Pattern's, the left hand side of one clause.YouTrack checks confluence.