Function term_rewriting::parse_trs

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

Parse a string as a TRS.