[−][src]Type Definition kontroli::scope::Rule
type Rule<'s> = Rule<String, TopPattern<'s>, RTerm<'s>>;
Rewrite rules with strings as bound variable identifiers, a top pattern (symbol application) as left-hand side, and a shared term as right-hand side.