Module analytic::set::traits

Enums

Cardinality
CountableType

Traits

Countable
Finite
HasCardinality
Refineable	Given two sets of the same type that are Refineable, their common refinement can be obtained
Set