Type Definition kontroli::rc::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.

Trait Implementations

impl<'s> From<Rule<String, Application<Symbol<'s>, Pattern<Symbol<'s>>>, RTerm<'s>>> for Rule<'s>

fn from(rule: SRule<'s>) -> Self

Performs the conversion.