[−][src]Function term_rewriting::parse_term
pub fn parse_term(sig: &mut Signature, input: &str) -> Result<Term, ParseError>
Parse a string as a Term
.
pub fn parse_term(sig: &mut Signature, input: &str) -> Result<Term, ParseError>
Parse a string as a Term
.