Support for @typedef