let
equal (s1,b1) (s2,b2) = b1 = b2
&&
Cilutil
.
StringSet
.equal s1 s2