utop的自动补全

Question

对于新问题，我很抱歉，但我刚刚开始使用OCaml，并且找不到如何使用utop自动补全。

当我开始在utop中输入内容时，我在shell的底部看到了一系列选项。如果只有一个有效的选择，按TAB将自动完成我正在写的内容。但是，如果有多个有效的选择，并且我找到了我想要的那个，我还没有找到一种方法来选择它（除了继续写作）。

例如（假设我已导入Core.Std）I型

Float.of 

第一个建议是Float.of_float，第二个是Float.of_int。我如何选择第二个？

Answer 1

引述UTOP的README：

UTOP显示这是用来显示实时的可能 补全提示后一间酒吧。您可以使用左侧M和右侧M，并使用M选项卡选择一个完成。 M代表meta 密钥，大部分时间都是Alt。

因此，您可以使用Alt导航完成。

与乌托邦玩得开心！

编辑：

看来Alt并不总是有效，这取决于在终端上。打字Esc然后好钥匙，然而，工作。

此外，绑定可以通过~/.lambda-term-inputrc文件轻松重新绑定，请参阅here。