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.

Implementations

impl<'s> Rule<'s>

pub fn parse(i: &str, syms: &Symbols<'s>) -> Result<Self, KoError>

Parse a rule and scope it. Used for testing.