小编yew*_*ang的帖子

在 Puppeteer 中，page.evaluate如果我将类作为参数传递，则会引发错误。

不过，它适用于常规对象。

是否有一些解决方法可以使其工作？

const puppeteer = require("puppeteer");

(async () => {
let browser = await puppeteer.launch({
    headless: true
});
let page = await browser.newPage();
class SomeClass {
    constructor() {
        this.a = 3;
    }
}
await page.evaluate((SomeClass) => {
    let object = new SomeClass();
    console.log(object.a);
}, SomeClass);
})();

一次偶然，我发现在 Coq 中可以做出如下定义：

Definition x := Type : Type.

这是什么Type : Type意思？这种定义有哪些用例？