Change comments from @type to @tsassert
Change @type to @tsassert to prevent potential clashes with other tools, or accidental confusion with docs comments, etc.
Change @type to @tsassert to prevent potential clashes with other tools, or accidental confusion with docs comments, etc.