(self)
return _env().stc.get_type(self)
Return the type of the formula by calling the Type-Checker.

        See :py:class:`SimpleTypeChecker`
Return the type of the formula by calling the Type-Checker.
Return the type of the formula by calling the Type - Checker .
def get_type(self):
        """Return the type of the formula by calling the Type-Checker.

        See :py:class:`SimpleTypeChecker`
        """
        return _env().stc.get_type(self)
def get_type ( self ) : return _env ( ) . stc . get_type ( self )