let
is_diseq s a b =
Term
.
Set
.mem b (deq s a)