term_rewriting
pub fn parse_term(sig: &mut Signature, input: &str) -> Result<Term, ParseError>
Similar to parse, but produces only a Term.
parse
Term