Function term_rewriting::parse_context

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

Parse a string as a Context.