concepts.dsl.expression.QuantificationOpType#

class QuantificationOpType[source]#

Bases: JacEnum

An enumeration.

Attributes

FORALL

EXISTS

EXISTS = 'exists'#
FORALL = 'forall'#