Closed glyn closed 1 year ago
The typing is valid according to the validity rules for functions.
The document was indeed wrong...
The typing is valid according to the validity rules for functions.