Type Definition kontroli::scope::Term

type Term<'s> = Term<Symbol<'s>, String, RTerm<'s>>;

Implementations

impl<'s> Term<'s>

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

Parse a term and scope it. Used for testing.