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