Sets with Cardinality Constraints
Types#
- logic1.theories.Sets.types.Formula[source]#
Type alias for
firstorder.formula.Formulain the theory of Sets.alias of
Formula[AtomicFormula,Variable,Variable,Never]
- logic1.theories.Sets.types.Prefix[source]#
Type alias for
firstorder.quantified.Prefixin the theory of Sets.