Closed this issue 2 years ago · 1 comments
Currently, by using And<A, B> as tuple in the fun module, it is not possible to reason about non-commutative boolean operators.
And<A, B>
fun
One possible solution is to add a custom tuple type and corresponding fst and snd maps.
fst
snd