I think it is a case of "and" vs. "and_kleene". Also note that `ToString`
has special cases for the _kleene variants which is why you see "(a and b)"
vs. "and(a, b)".
`and_(field_ref("a"), field_ref("b"))` yields `call("and_kleene",
{field_ref("a"), field_ref("b")})`
On Thu, Aug 18, 2022 at 12:01 AM 1057445597 <[email protected]> wrote:
> EXPECT_EQ(and_(field_ref("a"), field_ref("b")),
> call("and", {field_ref("a"), field_ref("b")}));
>
>
> Expected equality of these values: and_(field_ref("a"), field_ref("b"))
> Which is: (a and b) call("and", {field_ref("a"), field_ref("b")}) Which is:
> and(a, b)
>
> ------------------------------
> 1057445597
> [email protected]
>
> <https://wx.mail.qq.com/home/index?t=readmail_businesscard_midpage&nocheck=true&name=1057445597&icon=http%3A%2F%2Fthirdqq.qlogo.cn%2Fg%3Fb%3Dsdk%26k%3DIlyZtc5eQb1ZfPd0rzpQlQ%26s%3D100%26t%3D1551800738%3Frand%3D1648208978&mail=1057445597%40qq.com&code=>
>
>