--- Log opened Fri Aug 13 00:00:37 2021
01:12 < darosior> sanket1729: but there your example is 'V'?
01:13 < sanket1729> what is V
01:23 < darosior> A type
01:44 < darosior> "Verify expressions"
12:04 < sanket1729> darosior: Sorry, was half asleep :) . Are you saying that and_v is always `f`?
12:05 < sanket1729> `and_v(v:after(9),pk(C))` is not an `f`. If I understand you correctly, I think this is a counter example
--- Log closed Sat Aug 14 00:00:38 2021