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