If a function has no output type (e.g. "void" functions), this type is returned during the type inference of calls to these functions. The default value "THROW_ERROR" indicates to throw an error, i.e. type inference for calls of such functions are not allowed.
Will be used only internally as prefix for the unique identifiers for function type names.