Re: Uncontrolled navigation around a document using @*

What we are saying in the latest draft is that f:convert(@code) is streamable provided the function signature of f:convert() declares its argument with an atomic type. If it doesn't declare the type, streaming fails. This interacts with the rules for packages, which say that when you override a function in another package, the signature must be compatible.