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