type as an AVT

An issue that arose out of last week's call was whether bind/@type 
should/could be an AVT.

Just recording that here.

Steven

Received on Friday, 24 January 2025 12:22:05 UTC