module FStar.TSet

fsdoc: no-summary-found

Propositional sets (on any types): membership is a predicate