tern.d.ts