如何在ATS中搜索库函数？

Question

例如，假设我需要找到一个名称中包含“tabulate”一词的函数。我应该如何搜索它？

Answer 1

您可以使用＆＃39; find＆＃39;等工具。和＆＃39; grep＆＃39;如果你已经安装了ATS，那就做这种事。

假设您的ATS安装位于$ {PATSHOME}。以下命令行搜索单词＆＃39; tabulate＆＃39;是存储在{{1}}目录下的SATS文件：

{{1}}

查找库函数的另一个地方是$ {PATSHOME} / libats。

要编译JavaScript和Python等目标，请在$ {PATSCONTRIB} / contrib / libatscc中查找库函数，其中$ {PATSCONTRIB}是包含ATS2-contrib安装目录的名称。