(self)
return self._param_types
Returns the arguments of the Function Type.

        E.g.,  F: (Bool -> Bool) -> Real
        Returns [BoolType, BoolType].
Returns the arguments of the Function Type.
Returns the arguments of the Function Type .
def param_types(self):
        """Returns the arguments of the Function Type.

        E.g.,  F: (Bool -> Bool) -> Real
        Returns [BoolType, BoolType].
        """
        return self._param_types
def param_types ( self ) : return self . _param_types