Recursive Extraction Library会生成多个.ml和.mli个文件。是否可以在提取期间打印生成的文件列表？
我提出的最好的方法是注意生成的文件以大写字母开头，但它不是最佳的。
答案 0 :(得分：2)
通过<div class="header">
<div class="name">Name</div>
<div class="status">Status</div>
<div class="message">This is a testing</div>
</div>
<div class="container">
<div class="name">dynamic value comes from DB</div>
<div class="status">dynamic value comes from DB</div>
<div class="Message">dynamic value from DB</div>
</div>
而不是coqtop：
coqc如果您希望在运行$ echo 'Recursive Extraction Library Specif.' | coqtop
Welcome to Coq 8.6.1 (July 2017)
Coq < The file Logic.ml has been created by extraction.
The file Logic.mli has been created by extraction.
The file Datatypes.ml has been created by extraction.
The file Datatypes.mli has been created by extraction.
The file Specif.ml has been created by extraction.
The file Specif.mli has been created by extraction.
Coq <
时进行打印，则可能需要Trying to Pass ToDataURL with over 524288 bytes Using Input Type Text作为命令行标记或设置。