| // Copyright 2020 The Chromium Authors | |
| // Use of this source code is governed by a BSD-style license that can be | |
| // found in the LICENSE file. | |
| /** @fileoverview | |
| * Externs for d8, v8's shell at v8/src/d8/. | |
| * @externs | |
| */ | |
| /** @param {...string} var_args */ | |
| function print(var_args) {} | |
| /** @param {number} code */ | |
| function quit(code) {} | |
| /** | |
| * @param {string} path | |
| * @return {string} | |
| */ | |
| function read(path) {} |