f# - 关于懒惰定义的问题

Question

在 prim-types.fs (v1.9.7.8) 的第 5633 行有以下类型缩写:

type 'T ``lazy`` = Lazy<'T>

我有几个问题。

双反引号是什么意思？

这个定义是否等同于 type lazy<'T> = Lazy<'T> ? (如果不是，有什么不同？)

Answer 1

双反勾号是一种允许将 F# 关键字用作标识符的方法。另一个例子是

let ``let`` = 42