首页
标签
fstar
F* 是否支持线性类型？
假设 F* 中的 val 和 opaque 类型构造
如何声明一个 hasEq 约束？
1
2