Delete tst.typedef.js