Function parse_negate

src/expr-parser/src/parser.rs:587–594

(ctx: CtxRef, input: ParseStream)

    }

    fn parse_negate(ctx: CtxRef, input: ParseStream) -> Result {
        let negate = input.parse::<kw::Negate>()?;

        let parse_input = ParseChildren::new(input, negate.span().start());
        let input = Box::new(parse_input.parse_one(ctx, parse_expr)?);

        Ok(MirRelationExpr::Negate { input })
    }

    fn parse_threshold(ctx: CtxRef, input: ParseStream) -> Result {
        let threshold = input.parse::<kw::Threshold>()?;