The error case defines the value to be returned in case of an error. This will be generated into function implementations when being created, but is also used in documentation.
