add Countable instance for decidable Sigma types
All threads resolved!
All threads resolved!
Compare changes
+ 9
− 0
@@ -340,3 +340,12 @@ Next Obligation.
@@ -340,3 +340,12 @@ Next Obligation.