function export abbriviation clearup

[kam1986]

on page 117 in the documentation v2.0 the formulations

Abbreviations
Multiple anonymous locals may be combined into a single declaration:

‘(’ ‘local’ valtype* ‘)’ ≡ (‘(’ ‘local’ valtype ‘)’)*

Functions can be defined as imports or exports inline:

‘(’ ‘func’ id?
‘(’ ‘import’ name1 name2 ‘)’ typeuse ‘)’ ≡
‘(’ ‘import’ name1 name2 ‘(’ ‘func’ id? typeuse ‘)’ ‘)’
‘(’ ‘func’ id? ‘(’ ‘export’ name ‘)’ . . . ‘)’ ≡
‘(’ ‘export’ name ‘(’ ‘func’ id′ ‘)’ ‘)’ ‘(’ ‘func’ id′ . . . ‘)’
(if id? ̸= 𝜖 ∧ id′ = id? ∨ id? = 𝜖 ∧ id′ fresh)

Note: The latter abbreviation can be applied repeatedly, if “. . .” contains additional export clauses. Consequently,
a function declaration can contain any number of exports, possibly followed by an import.

I'm a little confused about the 'note'. is it correctly understood that it simply means that we can export a function with multiple export names?

[rossberg]

Yes, and that imported functions can be exported as well.