(self, formula)
return res
Returns the pysmt.types type of the formula
Returns the pysmt.types type of the formula
Returns the pysmt . types type of the formula
def get_type(self, formula):
        """ Returns the pysmt.types type of the formula """
        res = self.walk(formula)
        if not self.be_nice and res is None:
            raise PysmtTypeError("The formula '%s' is not well-formed" \
                                 % str(formula))
        return res
def get_type ( self , formula ) : res = self . walk ( formula ) if not self . be_nice and res is None : raise PysmtTypeError ( "The formula '%s' is not well-formed" % str ( formula ) ) return res