what does @ do, as i cant find its documentation in the kotlin-docs.pdf

if the context is ambiguous, it allows you to specify it

What Brian said. The

@

in these cases are there to disambiguate. Eg when there is more than one receiver (in your example, or in an extension function inside a class, inside a lambda-with-extension, etc), when there is more than one exit point (return), etc.