(self)
return self._return_type
Returns the return type of  the Function Type.

        E.g.,  F: (Bool -> Bool) -> Real
        Returns RealType.
Returns the return type of  the Function Type.
Returns the return type of the Function Type .
def return_type(self):
        """Returns the return type of  the Function Type.

        E.g.,  F: (Bool -> Bool) -> Real
        Returns RealType.
        """
        return self._return_type
def return_type ( self ) : return self . _return_type