Function parse_complement

src/parse.rs:321–325

(i: &str)

}

fn parse_complement(i: &str) -> IResult<&str, Term, Error> {
    let (i, _) = ws(tag("~"))(i)?;
    let (i, term) = parse_term_atom(i)?;
    Ok((i, term.negate()))
}

pub(super) fn parse_term(i: &str) -> IResult<&str, Term, Error> {
    alt((parse_complement, parse_term_atom))(i)