Function parse_string_term

src/parse.rs:230–233

(i: &str)

}

fn parse_string_term(i: &str) -> IResult<&str, Term, Error> {
    let (i, s) = parse_string(i)?;
    Ok((i, Term::Str(s)))
}

/// Parse a variable token: starts with uppercase or underscore, followed by alphanums or `_`.
/// Example: `X`, `User42`, `_foo`.