[func.bind.bind]/1

In the text that follows, the following names have the following meanings:

That could be simplified to avoid the repetition:

In the text that follows:

(We don't use bullet points for such lists elsewhere, but I think it's actually clearer with bullets and don't propose changing that.)