TypeScript difinition for Espruino