如何解决我可以以某种方式堆叠隐式类型吗?
在 .v 文件的顶部附近,我目前有类似的东西
Implicit Types N: T1.
Implicit Types V: T2.
Implicit Types O: T3.
.....
这可能是一个微不足道的问题,但是如果 T1 T2 T3 不同,我可以将这些行压缩为一个隐式类型声明吗?我必须重复命令 3 次这一事实让我很恼火,哈哈。我查看了 here 并没有看到它的语法,但我想我会检查一下。
谢谢!
解决方法
你可以试试这个
Implicit Types (N: T1)(V: T2)(O: T3).
版权声明:本文内容由互联网用户自发贡献,该文观点与技术仅代表作者本人。本站仅提供信息存储空间服务,不拥有所有权,不承担相关法律责任。如发现本站有涉嫌侵权/违法违规的内容, 请发送邮件至 dio@foxmail.com 举报,一经查实,本站将立刻删除。