(self)
return self.node_type() == FORALL
Test whether the node is the ForAll operator.
Test whether the node is the ForAll operator.
Test whether the node is the ForAll operator .
def is_forall(self):
        """Test whether the node is the ForAll operator."""
        return self.node_type() == FORALL
def is_forall ( self ) : return self . node_type ( ) == FORALL