5 lines
76 B
Coq
5 lines
76 B
Coq
|
|
singleton;
|
||
|
|
|
||
|
|
async restore {
|
||
|
|
await create('this.module.doesnt.exist');
|
||
|
|
}
|