Function term_rewriting::parse_term

pub fn parse_term(sig: &mut Signature, input: &str) -> Result<Term, ParseError>

Parse a string as a Term.