The most general type of value that may be produced by a successful completion of a function described by this function type.