Mihai Budiu

Could it be that * is applied to the whole if expression?

Some of these files show every line as different. Is this due to CR/LF? This makes it hard to review.

I can imagine two APIs: a static one, where the compiler generates some JSON representation of the relations, and a dynamic one, where you can query dynamically about relations. But...

If the Rust build system can provide this information we can use it. Otherwise it looks like a complicated project, which would require us to parse the Rust build files...

It would be nice to have something like rust `#[test]`in DDlog programs. So if you have a standalone DDlog program with relations that have a static contents you can write...

Relation equality can be converted by the compiler to empty relation using a symmetric difference. So probably empty relation is a good primitive to have. I am not arguing that...

@lalithsuresh : please take a look at this API. Note that using the DDlogAPI helpers requires the ddlog dynamic library to be already loaded, and this can happen only once....

I expect this is still useful

Let's first wait for Lalith's comments. Then, if he indeed is using it, it has to be generalized to handle more types. We may also consider moving it to another...

If @lalithsuresh is not using this we can perhaps keep it as a draft PR for a while until we figure out whether it will be ever used.