开发者社区

文档建议反馈控制台

文章/答案/技术大牛

发布

社区首页 >问答首页 >如何显示fstar表达式的值和/或类型？

问如何显示fstar表达式的值和/或类型？
EN

Stack Overflow用户

提问于 2021-09-04 17:44:02

回答 1查看 64关注 0票数 0

我正在使用emacs fstar模式学习fstar教程。是否有一种计算表达式或其类型的方法？

我正在寻找的是一个相当于精益的#检查或#eval。

EN

回答 1

Stack Overflow用户

回答已采纳

发布于 2021-09-06 03:21:33

在fstar-mode.el，F*的emacs模式中，您可以

C- C -s C-e:计算表达式
C s C-d:显示标识符

的类型和文档

在运行fstar-mode.el时，可以从emacs菜单栏中的F*菜单中找到这些和其他实用程序。

票数 1

EN

页面原文内容由Stack Overflow提供。腾讯云小微IT领域专用引擎提供翻译支持

原文链接：

https://stackoverflow.com/questions/69057679

复制

相似问题