Type Definition kontroli::scope::pattern::TopPattern

type TopPattern<'s> = Application<Symbol<'s>, Pattern<Symbol<'s>>>;

Pattern at the left-hand side of a rewrite rule.