[−][src]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.
type TopPattern<'s> = Application<Symbol<'s>, Pattern<Symbol<'s>>>;
Pattern at the left-hand side of a rewrite rule.