9 lines
75 B
Coq
9 lines
75 B
Coq
|
singleton;
|
||
|
|
|
||
|
|
restore {
|
||
|
|
this.foo();
|
||
|
|
}
|
||
|
|
|
||
|
|
foo {
|
||
|
|
console.log('foo!');
|
||
|
|
}
|